From 5f84647ee1b25532cf5ea06801a4f36706a0cb96 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Wed, 14 Sep 2022 21:55:28 +0200 Subject: [PATCH] Update .gitignore Add entry for ab393528fa4b2486237ee7aa51fac67f82fee824. Remove one obsolete entry. --- 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 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