diff options
| -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 |