aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPeter Eisentraut <peter_e@gmx.net>2017-03-10 10:16:04 -0500
committerPeter Eisentraut <peter_e@gmx.net>2017-03-10 10:16:04 -0500
commit07a61e16703b5f90650d509e29a724c68efd79ab (patch)
tree824e274883398e7d4a6d7643acc03f392c1855f0
parent22ef6b041a554b7536edb3a79e0b9d5d8403f432 (diff)
downloadpostgresql-07a61e16703b5f90650d509e29a724c68efd79ab.tar.gz
postgresql-07a61e16703b5f90650d509e29a724c68efd79ab.zip
Improve gitignore file
One file was listed under a wrong comment.
-rw-r--r--doc/src/sgml/.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/.gitignore b/doc/src/sgml/.gitignore
index cdeace2991e..8197c0140de 100644
--- a/doc/src/sgml/.gitignore
+++ b/doc/src/sgml/.gitignore
@@ -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