diff options
| -rw-r--r-- | doc/FAQ_DEV | 11 | ||||
| -rw-r--r-- | 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 |