Update .gitignore
authorPeter Eisentraut <[email protected]>
Wed, 14 Sep 2022 19:55:28 +0000 (21:55 +0200)
committerPeter Eisentraut <[email protected]>
Wed, 14 Sep 2022 19:56:01 +0000 (21:56 +0200)
Add entry for ab393528fa4b2486237ee7aa51fac67f82fee824.  Remove one
obsolete entry.

doc/src/sgml/.gitignore

index acf7b4f10f7d752ab2c172cf68cce51a84db2c3e..d8e3dab3380a806d996e617132ac81acc1fa4f05 100644 (file)
@@ -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