From 3c73f94a5ecb534e54424bfaa227274f05363bbb Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Sat, 10 Jun 2000 02:05:26 +0000
Subject: [PATCH] update developers faq

---
 doc/FAQ_DEV          | 11 ++++++++---
 doc/src/FAQ_DEV.html | 14 ++++++++++----
 2 files changed, 18 insertions(+), 7 deletions(-)

diff --git a/doc/FAQ_DEV b/doc/FAQ_DEV
index aa543d2224d..31b27ee73ec 100644
--- a/doc/FAQ_DEV
+++ b/doc/FAQ_DEV
@@ -69,9 +69,14 @@ s
    back out twice to return to the original function. Most editors
    support this via tags or etags files.
    
-   Third, you need to get mkid from ftp.postgresql.org. By running
-   tools/make_mkid, an archive of source symbols can be created that can
-   be rapidly queried like grep or edited. Others prefer glimpse.
+   Third, you need to get id-utils from:
+        ftp://alpha.gnu.org/gnu/id-utils-3.2d.tar.gz
+        ftp://tug.org/gnu/id-utils-3.2d.tar.gz
+        ftp://ftp.enst.fr/pub/gnu/gnits/id-utils-3.2d.tar.gz
+
+   By running tools/make_mkid, an archive of source symbols can be
+   created that can be rapidly queried like grep or edited. Others prefer
+   glimpse.
    
    make_diff has tools to create patch diff files that can be applied to
    the distribution.
diff --git a/doc/src/FAQ_DEV.html b/doc/src/FAQ_DEV.html
index 440c3f8c435..ba60c157c21 100644
--- a/doc/src/FAQ_DEV.html
+++ b/doc/src/FAQ_DEV.html
@@ -87,10 +87,16 @@ out twice to return to the original function.  Most editors support this
 via <I>tags</I> or <I>etags</I> files.<P>
 
 
-Third, you need to get <I>mkid</I> from ftp.postgresql.org.  By running
-<I>tools/make_mkid</I>, an archive of source symbols can be created that
-can be rapidly queried like <I>grep</I> or edited.  Others prefer
-<I>glimpse.</I><P>
+Third, you need to get <I>id-utils</I> from:
+<pre>
+	<a href="ftp://alpha.gnu.org/gnu/id-utils-3.2d.tar.gz">ftp://alpha.gnu.org/gnu/id-utils-3.2d.tar.gz</a>
+	<a href="ftp://tug.org/gnu/id-utils-3.2d.tar.gz">ftp://tug.org/gnu/id-utils-3.2d.tar.gz</a>
+	<a href="ftp://ftp.enst.fr/pub/gnu/gnits/id-utils-3.2d.tar.gz">ftp://ftp.enst.fr/pub/gnu/gnits/id-utils-3.2d.tar.gz</a>
+</pre>
+
+By running <I>tools/make_mkid</I>, an archive of source symbols can be
+created that can be rapidly queried like <I>grep</I> or edited.  Others
+prefer <I>glimpse.</I><P>
 
 
 <I>make_diff</I> has tools to create patch diff files that can be
-- 
GitLab