From 3c73f94a5ecb534e54424bfaa227274f05363bbb Mon Sep 17 00:00:00 2001 From: Bruce Momjian Date: Sat, 10 Jun 2000 02:05:26 +0000 Subject: update developers faq --- doc/src/FAQ_DEV.html | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) (limited to 'doc/src/FAQ_DEV.html') 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 -- cgit v1.2.1