From 83290b678da534b351ebf8e53bfef5add847535c Mon Sep 17 00:00:00 2001
From: Alvaro Herrera <alvherre@alvh.no-ip.org>
Date: Fri, 9 Nov 2007 22:22:46 +0000
Subject: [PATCH] Point to our own UUID page instead of to Wikipedia.
---
doc/src/sgml/acronyms.sgml | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/doc/src/sgml/acronyms.sgml b/doc/src/sgml/acronyms.sgml
index b8639b2641c..03aa764b90e 100644
--- a/doc/src/sgml/acronyms.sgml
+++ b/doc/src/sgml/acronyms.sgml
@@ -1,4 +1,4 @@
-<!-- $PostgreSQL: pgsql/doc/src/sgml/acronyms.sgml,v 1.3 2007/11/01 20:27:33 tgl Exp $ -->
+<!-- $PostgreSQL: pgsql/doc/src/sgml/acronyms.sgml,v 1.4 2007/11/09 22:22:46 alvherre Exp $ -->
<appendix id="acronyms">
<title>Acronyms</title>
@@ -701,8 +701,7 @@
<term><acronym>UUID</acronym></term>
<listitem>
<para>
- <ulink url="http://en.wikipedia.org/wiki/Uuid">Universally Unique
- Identifier</ulink>
+ <link linkend="datatype-uuid">Universally Unique Identifier</link>
</para>
</listitem>
</varlistentry>
--
GitLab