Improve gitignore file

One file was listed under a wrong comment.
This commit is contained in:
Peter Eisentraut 2017-03-10 10:16:04 -05:00
parent 22ef6b041a
commit 07a61e1670
1 changed files with 1 additions and 1 deletions

View File

@ -7,7 +7,6 @@
/man-stamp
# Other popular build targets
/INSTALL
/INSTALL.xml
/postgres-US.pdf
/postgres-A4.pdf
/postgres.html
@ -22,6 +21,7 @@
# Assorted byproducts from building the above
/postgres.xml
/INSTALL.html
/INSTALL.xml
/postgres-US.aux
/postgres-US.log
/postgres-US.out