projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33e27c3) | patch
doc: Remove unused ids
authorPeter Eisentraut <peter@eisentraut.org>
Sat, 7 Mar 2020 13:04:09 +0000 (14:04 +0100)
committerPeter Eisentraut <peter@eisentraut.org>
Sat, 7 Mar 2020 13:04:09 +0000 (14:04 +0100)
commit7e39b968f118c6444bd3a3bd59c3e9d73e652e0c
treee67013abaf7d697c7d8e8aa8a0ae7a78cb7f357etree
parent33e27c3785c5ce8a3264d6af2550ec5adcebc517commit | diff
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.
doc/src/sgml/ref/clusterdb.sgml diff | blob | blame | history
doc/src/sgml/ref/postmaster.sgml diff | blob | blame | history
doc/src/sgml/ref/reindexdb.sgml diff | blob | blame | history
doc/src/sgml/ref/vacuumdb.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.