1
0
mirror of https://github.com/postgres/postgres.git synced 2025-12-21 05:21:08 +03:00

Don't mark up as acronym that which is not an acronym.

This commit is contained in:
Peter Eisentraut
2002-03-27 19:19:23 +00:00
parent d235d9b8a3
commit e6774dc355
3 changed files with 8 additions and 10 deletions

View File

@@ -1,5 +1,5 @@
<!--
$Header: /cvsroot/pgsql/doc/src/sgml/ref/select.sgml,v 1.52 2002/03/22 19:20:45 petere Exp $
$Header: /cvsroot/pgsql/doc/src/sgml/ref/select.sgml,v 1.53 2002/03/27 19:19:23 petere Exp $
PostgreSQL documentation
-->
@@ -937,9 +937,7 @@ SELECT actors.name
<refsect2info>
<date>1998-09-24</date>
</refsect2info>
<title>
<acronym>Extensions</acronym>
</title>
<title>Extensions</title>
<para>
<productname>PostgreSQL</productname> allows one to omit