diff options
author | Lukas Larsson <lukas@erlang.org> | 2019-10-23 11:28:10 +0200 |
---|---|---|
committer | Lukas Larsson <lukas@erlang.org> | 2019-10-23 11:28:10 +0200 |
commit | 860ef2703632746aa1e7e66b32ebab56f1920a74 (patch) | |
tree | 0acc23b8495f9ce3a96dfaa7d1f74dd87f605001 /.gitignore | |
parent | c4a426e836520e2819631071e2901781de02b534 (diff) | |
parent | 29eac06f9837095f30cae3536b3f00b1d04071aa (diff) | |
download | erlang-860ef2703632746aa1e7e66b32ebab56f1920a74.tar.gz |
Merge branch 'maint'
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 9603304917..8bf6ff8bcc 100644 --- a/.gitignore +++ b/.gitignore @@ -176,6 +176,7 @@ JAVADOC-GENERATED /lib/*/doc/man[0-9]/*.[0-9] /lib/*/doc/pdf/*.fo /lib/*/doc/pdf/*.pdf +/lib/*/doc/src/*.fo /lib/*/doc/xml/*.xml /lib/config.log @@ -272,6 +273,7 @@ JAVADOC-GENERATED /erts/doc/html/*.eix /erts/doc/pdf/*.fo /erts/doc/pdf/*.pdf +/erts/doc/src/*.fo /erts/doc/xml/*.xml /erts/doc/man[0-9]/*.[0-9] /erts/doc/CONF_INFO @@ -370,6 +372,7 @@ JAVADOC-GENERATED /system/doc/pdf /system/doc/html +/system/doc/top/*.fo /system/doc/xml /system/doc/top/PR.template |