From: Peter Eisentraut Date: Sat, 7 Mar 2020 13:04:09 +0000 (+0100) Subject: doc: Remove unused ids X-Git-Url: http://git.postgresql.org/gitweb/-?a=commitdiff_plain;h=7e39b968f118c6444bd3a3bd59c3e9d73e652e0c;p=users%2Fc2main%2Fpostgres.git doc: Remove unused ids Some reference pages contained id attributes on refname elements. These were apparently copied around from ancient times, but they don't serve a purpose. FOP issues minor warnings about them. So it's easiest to just remove them. --- diff --git a/doc/src/sgml/ref/clusterdb.sgml b/doc/src/sgml/ref/clusterdb.sgml index b25845ffc6..d11ac2dc9c 100644 --- a/doc/src/sgml/ref/clusterdb.sgml +++ b/doc/src/sgml/ref/clusterdb.sgml @@ -15,7 +15,7 @@ PostgreSQL documentation - clusterdb + clusterdb cluster a PostgreSQL database diff --git a/doc/src/sgml/ref/postmaster.sgml b/doc/src/sgml/ref/postmaster.sgml index 311510a44d..7b544ed0b6 100644 --- a/doc/src/sgml/ref/postmaster.sgml +++ b/doc/src/sgml/ref/postmaster.sgml @@ -15,7 +15,7 @@ PostgreSQL documentation - postmaster + postmaster PostgreSQL database server diff --git a/doc/src/sgml/ref/reindexdb.sgml b/doc/src/sgml/ref/reindexdb.sgml index 5e21fbcc4e..0128118cc7 100644 --- a/doc/src/sgml/ref/reindexdb.sgml +++ b/doc/src/sgml/ref/reindexdb.sgml @@ -15,7 +15,7 @@ PostgreSQL documentation - reindexdb + reindexdb reindex a PostgreSQL database diff --git a/doc/src/sgml/ref/vacuumdb.sgml b/doc/src/sgml/ref/vacuumdb.sgml index 775c9ec651..cf7f77ba30 100644 --- a/doc/src/sgml/ref/vacuumdb.sgml +++ b/doc/src/sgml/ref/vacuumdb.sgml @@ -15,7 +15,7 @@ PostgreSQL documentation - vacuumdb + vacuumdb garbage-collect and analyze a PostgreSQL database