diff options
author | Tom Lane | 2017-05-15 19:48:23 +0000 |
---|---|---|
committer | Tom Lane | 2017-05-15 19:48:40 +0000 |
commit | 1aedcf98181602890ea8899202a7143543f9785a (patch) | |
tree | c668787256f75a39d56e357a16bcd2c57543f56c | |
parent | 0ad226f2ae55620107eb61591d2f96236aec477c (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/.gitignore | 2 |
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 |