git-ignore intermediate files from new docs toolchain.
Tom Lane <tgl@sss.pgh.pa.us>
git-ignore intermediate files from new docs toolchain. Building PDFs with the new toolchain creates *.fo temporary files.
Files
| Path | Change | +/− |
|---|---|---|
| doc/src/sgml/.gitignore | modified | +2 −0 |