mirror of
https://github.com/postgres/postgres.git
synced 2025-08-28 18:48:04 +03:00
Convert SGML IDs to lower case
IDs in SGML are case insensitive, and we have accumulated a mix of upper and lower case IDs, including different variants of the same ID. In XML, these will be case sensitive, so we need to fix up those differences. Going to all lower case seems most straightforward, and the current build process already makes all anchors and lower case anyway during the SGML->XML conversion, so this doesn't create any difference in the output right now. A future XML-only build process would, however, maintain any mixed case ID spellings in the output, so that is another reason to clean this up beforehand. Author: Alexander Lakhin <exclusion@gmail.com>
This commit is contained in:
@@ -610,10 +610,10 @@ PostgreSQL documentation
|
||||
</refsect1>
|
||||
|
||||
|
||||
<refsect1 id="R1-APP-PGCTL-2">
|
||||
<refsect1 id="r1-app-pgctl-2">
|
||||
<title>Examples</title>
|
||||
|
||||
<refsect2 id="R2-APP-PGCTL-3">
|
||||
<refsect2 id="r2-app-pgctl-3">
|
||||
<title>Starting the Server</title>
|
||||
|
||||
<para>
|
||||
@@ -632,7 +632,7 @@ PostgreSQL documentation
|
||||
</screen></para>
|
||||
</refsect2>
|
||||
|
||||
<refsect2 id="R2-APP-PGCTL-4">
|
||||
<refsect2 id="r2-app-pgctl-4">
|
||||
<title>Stopping the Server</title>
|
||||
<para>
|
||||
To stop the server, use:
|
||||
@@ -646,7 +646,7 @@ PostgreSQL documentation
|
||||
</screen></para>
|
||||
</refsect2>
|
||||
|
||||
<refsect2 id="R2-APP-PGCTL-5">
|
||||
<refsect2 id="r2-app-pgctl-5">
|
||||
<title>Restarting the Server</title>
|
||||
|
||||
<para>
|
||||
@@ -668,7 +668,7 @@ PostgreSQL documentation
|
||||
</screen></para>
|
||||
</refsect2>
|
||||
|
||||
<refsect2 id="R2-APP-PGCTL-6">
|
||||
<refsect2 id="r2-app-pgctl-6">
|
||||
<title>Showing the Server Status</title>
|
||||
|
||||
<para>
|
||||
|
Reference in New Issue
Block a user