diff --git a/doc/FAQ_DEV b/doc/FAQ_DEV
index aa543d2224..31b27ee73e 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 440c3f8c43..ba60c157c2 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 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