[PATCH] debugedit: Add manual using help2man

[Mark Wielaard]

Hi Dmitry,

On Thu, 2021-04-29 at 19:36 +0300, Dmitry V. Levin wrote: 
> > +# Manual pages are generated for dist
> > +dist_man_MANS = debugedit.1
> > +
> > +debugedit.1: tools/debugedit.c $(top_srcdir)/configure.ac
> > +	$(MAKE) $(AM_MAKEFLAGS) debugedit$(EXEEXT)
> > +	$(HELP2MAN) -N --output=$@ \
> > +	  --name='debug source path manipulation tool' \
> > +	  ./debugedit$(EXEEXT)
> 
> The usual way of generating debugedit.1 would be to make it depend on
> debugedit$(EXEEXT) instead.  Is this written to avoid any attempts to
> regenerate debugedit.1 at build time?

Yes, that is the idea. It is also what the automake manual recommends
because the man page is a generated file that is distributed.

Cheers,

Mark