Improve gitignore file

One file was listed under a wrong comment.

diff --git a/doc/src/sgml/.gitignore b/doc/src/sgml/.gitignore
index cdeace2991e7b2d37e3690546965b21d4dd039a9..8197c0140dea6d6e6aaf38237f8e0eb847624a75 100644 (file)
--- 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