]> git.ipfire.org Git - thirdparty/postgresql.git/commit
doc: Remove unused title ids
authorPeter Eisentraut <peter@eisentraut.org>
Fri, 13 Mar 2020 14:45:37 +0000 (15:45 +0100)
committerPeter Eisentraut <peter@eisentraut.org>
Fri, 13 Mar 2020 14:45:37 +0000 (15:45 +0100)
commit340de72780e4eb769d5cf052b03084808bac476a
treea47724ff3d35441ae441bca9215c2984c926cb57
parentd90bd24391fdde2b73906e16052821c9e3c1ce82
doc: Remove unused title ids

FOP issues warnings about them.  These aren't even used, so just
remove them.  For the ones that are actually used, we'll come up with
a different solution.

Discussion: https://www.postgresql.org/message-id/flat/e29b580e-79ab-a371-5ea4-6946e4d3af0b%402ndQuadrant.com
doc/src/sgml/ecpg.sgml
doc/src/sgml/file-fdw.sgml
doc/src/sgml/ref/commit_prepared.sgml
doc/src/sgml/ref/create_foreign_table.sgml
doc/src/sgml/ref/create_view.sgml
doc/src/sgml/ref/do.sgml
doc/src/sgml/ref/prepare_transaction.sgml
doc/src/sgml/ref/rollback_prepared.sgml