git.postgresql.org Git - postgresql.git/commit

git projects / postgresql.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 27da598) | patch
Doc: fix a few oddly-spelled SGML ID attributes.
2023年1月17日 22:13:18 +0000 (17:13 -0500)
2023年1月17日 22:13:20 +0000 (17:13 -0500)
commit 09d465c397165f99c37e9002a4e7b281111d2580
Doc: fix a few oddly-spelled SGML ID attributes.

Avoid use of "_" in SGML IDs. Awhile back that was actually
disallowed by the toolchain, as a consequence of which our convention
has been to use "-" instead. Fix a couple of stragglers that are
particularly inconsistent with that convention and with related IDs.

This is just neatnik-ism, so no need for back-patch.

Discussion: https://postgr.es/m/769446.1673478332@sss.pgh.pa.us
doc/src/sgml/config.sgml diff | blob | blame | history
doc/src/sgml/pgbuffercache.sgml diff | blob | blame | history
doc/src/sgml/ref/pg_checksums.sgml diff | blob | blame | history
doc/src/sgml/ref/prepare.sgml diff | blob | blame | history
This is the main PostgreSQL git repository.
RSS Atom

AltStyle によって変換されたページ (->オリジナル) /