Re: mkid reference

On Mon, Jan 25, 2021 at 4:38 PM Bruce Momjian <bruce@momjian.us> wrote:
>
> On Fri, Jan 22, 2021 at 01:07:36PM -0500, Tom Lane wrote:
> > > There's also src/tools/make_mkid which use this mkid tool.  +1 for removing.
> > > If anything, it seems better replaced by extended documentation on the existing
> > > wiki article [0] on how to use "git format-patch".
> >
> > I found man pages for mkid online --- it's apparently a ctags-like
> > code indexing tool, not something for patches.  So maybe Bruce still
> > uses it, or maybe not.  But as long as we've also got make_ctags and
>
> Yes, I do still use it, so I thought having a script to generate its
> index files might be helpful to someone.

Where do you actually get it? The old docs (now removed) suggested
getting it off ftp.postgresql.org...

-- 
 Magnus Hagander
 Me: https://www.hagander.net/
 Work: https://www.redpill-linpro.com/