From 07a61e16703b5f90650d509e29a724c68efd79ab Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Fri, 10 Mar 2017 10:16:04 -0500
Subject: [PATCH] Improve gitignore file

One file was listed under a wrong comment.
---
 doc/src/sgml/.gitignore | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
GitLab