diff --git a/doc/src/sgml/catalogs.sgml b/doc/src/sgml/catalogs.sgml index eb17a0b71c4..a5b327d942e 100644 --- a/doc/src/sgml/catalogs.sgml +++ b/doc/src/sgml/catalogs.sgml @@ -1,4 +1,4 @@ - + @@ -3030,12 +3030,11 @@