It must also include man_MANS – otherwise make tries to build the
man pages also in non maintainer mode without having a rule for that.
This fixes commit 2794410c9b.
Signed-off-by: Stefan Weil <sw@weilnetz.de>
Those files can be built by doc/generate_manpages.sh.
The manpages are needed for the installation,
so add Makefile rules for them.
Git must ignore the generated manpages.
Signed-off-by: Stefan Weil <sw@weilnetz.de>
This is what was required to get 'make-dist' to work. I left autogen alone
since it works, albeit with an error message. My practice packages appear
to work fine.
