diff options
-rw-r--r-- | doc.am | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -120,7 +120,11 @@ dist_man1_MANS = \ $(sub_commands_mans) # Man pages are generated using GNU help2man. -gen_man = LANGUAGE= $(top_builddir)/pre-inst-env $(HELP2MAN) +gen_man = \ + LANGUAGE= $(top_builddir)/pre-inst-env $(HELP2MAN) \ + $(HELP2MANFLAGS) + +HELP2MANFLAGS = --source=GNU --info-page=$(PACKAGE_TARNAME) # Note: Do not depend on 'scripts/guix' since that would trigger a rebuild # even for people building from a tarball. |