git-ignore intermediate files from new docs toolchain.
authorTom Lane <tgl@sss.pgh.pa.us>
Mon, 15 May 2017 19:48:23 +0000 (15:48 -0400)
committerTom Lane <tgl@sss.pgh.pa.us>
Mon, 15 May 2017 19:48:40 +0000 (15:48 -0400)
commit1aedcf98181602890ea8899202a7143543f9785a
treec668787256f75a39d56e357a16bcd2c57543f56c
parent0ad226f2ae55620107eb61591d2f96236aec477c
git-ignore intermediate files from new docs toolchain.

Building PDFs with the new toolchain creates *.fo temporary files.
doc/src/sgml/.gitignore