On Tue, Jan 26, 2021 at 05:03:30PM +0100, Magnus Hagander wrote:
> 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...
Not sure why it was on our ftp site, since it is a GNU download:
https://www.gnu.org/software/idutils/
--
Bruce Momjian <bruce@momjian.us> https://momjian.us
EDB https://enterprisedb.com
The usefulness of a cup is in its emptiness, Bruce Lee