diff options
author | Peter Eisentraut <peter_e@gmx.net> | 2017-03-10 10:16:04 -0500 |
---|---|---|
committer | Peter Eisentraut <peter_e@gmx.net> | 2017-03-10 10:16:04 -0500 |
commit | 07a61e16703b5f90650d509e29a724c68efd79ab (patch) | |
tree | 824e274883398e7d4a6d7643acc03f392c1855f0 | |
parent | 22ef6b041a554b7536edb3a79e0b9d5d8403f432 (diff) | |
download | postgresql-07a61e16703b5f90650d509e29a724c68efd79ab.tar.gz postgresql-07a61e16703b5f90650d509e29a724c68efd79ab.zip |
Improve gitignore file
One file was listed under a wrong comment.
-rw-r--r-- | doc/src/sgml/.gitignore | 2 |
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 |