diff options
author | Lukas Larsson <lukas@erlang.org> | 2019-10-17 10:10:50 +0200 |
---|---|---|
committer | Lukas Larsson <lukas@erlang.org> | 2019-10-17 10:10:50 +0200 |
commit | 413c9b4e713206bcdb9ba7a87b9c6b4a3a465c5c (patch) | |
tree | 0adf39c25b73b7d01af1a0c68ebe67af3d7b9f16 /.gitignore | |
parent | b36ccde89c71ca282f09170a8a674b67d6f878fa (diff) | |
download | erlang-413c9b4e713206bcdb9ba7a87b9c6b4a3a465c5c.tar.gz |
otp: Add *.fo in src to gitignore
New fop versions have changed where they put this
intermediate file.
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 789d08fdb0..b14ec86df6 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 @@ -271,6 +272,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 @@ -369,6 +371,7 @@ JAVADOC-GENERATED /system/doc/pdf /system/doc/html +/system/doc/top/*.fo /system/doc/xml /system/doc/top/PR.template |