summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTom Lane2017-05-15 19:48:23 +0000
committerTom Lane2017-05-15 19:48:40 +0000
commit1aedcf98181602890ea8899202a7143543f9785a (patch)
treec668787256f75a39d56e357a16bcd2c57543f56c
parent0ad226f2ae55620107eb61591d2f96236aec477c (diff)
git-ignore intermediate files from new docs toolchain.
Building PDFs with the new toolchain creates *.fo temporary files.
-rw-r--r--doc/src/sgml/.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/src/sgml/.gitignore b/doc/src/sgml/.gitignore
index a74513837f1..a72b7ccb06c 100644
--- a/doc/src/sgml/.gitignore
+++ b/doc/src/sgml/.gitignore
@@ -20,3 +20,5 @@
/postgres.xml
/INSTALL.html
/INSTALL.xml
+/postgres-US.fo
+/postgres-A4.fo