On Tue, Oct 24, 2017 at 08:18:49PM +0000, torsten.gr...@gmail.com wrote:
> The following documentation comment has been logged on the website:
>
> Page: https://www.postgresql.org/docs/10/static/acronyms.html
> Description:
>
> Hello all,
>
> I propose to add 'JSON' (for JavaScript Object Notation,
> http://json.org) to
> the list of acronyms in the documentation's appendix
> (https://www.postgresql.org/account/comments/new/10/acronyms.html/).
Good idea. Patch applied --- it will appear in PG 11.
--
Bruce Momjian <br...@momjian.us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ As you are, so once was I. As I am, so you will be. +
+ Ancient Roman grave inscription +
diff --git a/doc/src/sgml/acronyms.sgml b/doc/src/sgml/acronyms.sgml
new file mode 100644
index 6e9fddf..751c46d
*** a/doc/src/sgml/acronyms.sgml
--- b/doc/src/sgml/acronyms.sgml
***************
*** 370,375 ****
--- 370,385 ----
</varlistentry>
<varlistentry>
+ <term><acronym>JSON</acronym></term>
+ <listitem>
+ <para>
+ <ulink
+ url="http://json.org";>JavaScript Object Notation</ulink>
+ </para>
+ </listitem>
+ </varlistentry>
+
+ <varlistentry>
<term><acronym>LDAP</acronym></term>
<listitem>
<para>
