summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorLukas Larsson <lukas@erlang.org>2019-10-17 10:10:50 +0200
committerLukas Larsson <lukas@erlang.org>2019-10-17 10:10:50 +0200
commit413c9b4e713206bcdb9ba7a87b9c6b4a3a465c5c (patch)
tree0adf39c25b73b7d01af1a0c68ebe67af3d7b9f16 /.gitignore
parentb36ccde89c71ca282f09170a8a674b67d6f878fa (diff)
downloaderlang-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--.gitignore3
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