From: Peter Eisentraut <peter@eisentraut.org>
Date: Wed, 14 Sep 2022 19:55:28 +0000 (+0200)
Subject: Update .gitignore
X-Git-Url: http://git.postgresql.org/gitweb/-?a=commitdiff_plain;h=5f84647ee1b25532cf5ea06801a4f36706a0cb96;p=users%2Frhaas%2Fpostgres.git

Update .gitignore

Add entry for ab393528fa4b2486237ee7aa51fac67f82fee824.  Remove one
obsolete entry.
---

diff --git a/doc/src/sgml/.gitignore b/doc/src/sgml/.gitignore
index acf7b4f10f..d8e3dab338 100644
--- a/doc/src/sgml/.gitignore
+++ b/doc/src/sgml/.gitignore
@@ -18,7 +18,7 @@
 /keywords-table.sgml
 /version.sgml
 # Assorted byproducts from building the above
-/postgres.xml
+/postgres-full.xml
 /INSTALL.html
 /INSTALL.xml
 /postgres-US.fo