Mathieu Lirzin <m...@gnu.org> skribis: > Anyway, inspired by what is done by Automake for info manuals I have tried to > build man pages in $(srcdir), which is fixing the issue too. The bonus is > that now all the documentation is consistently built in $(srcdir) and that we > avoid adding another "case $? ..." trick.
This sounds reasonable (in fact I wonder why we were not doing it already given that things are supposed to live in $(srcdir)). Did you confirm that ‘make distcheck’ passes after that, and that ‘help2man’ is not invoked when building from a tarball? Thank you! Ludo’.
