diff options
author | Rickard Green <[email protected]> | 2014-02-14 22:57:37 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2014-02-19 15:31:52 +0100 |
commit | f51da9be40b578cdf386264312eb9b37d18ce778 (patch) | |
tree | 02f1416fe02c20cdfc391627cdab32cfc19ef30c /.gitignore | |
parent | 3fd4e3e770fbed95fd6fa2d547945ac71256339c (diff) | |
download | otp-f51da9be40b578cdf386264312eb9b37d18ce778.tar.gz otp-f51da9be40b578cdf386264312eb9b37d18ce778.tar.bz2 otp-f51da9be40b578cdf386264312eb9b37d18ce778.zip |
Build documentation with bootstrap system
Enables build of documentation in source trees that has been cross built
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 9cd91245f5..3a9e53dc94 100644 --- a/.gitignore +++ b/.gitignore @@ -114,6 +114,8 @@ JAVADOC-GENERATED /bootstrap/lib/asn1 /bootstrap/lib/common_test +/bootstrap/lib/edoc +/bootstrap/lib/erl_docgen /bootstrap/lib/hipe /bootstrap/lib/ic /bootstrap/lib/orber |