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