diff options
-rw-r--r-- | man/local.mk | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/man/local.mk b/man/local.mk index 99eb2159b..182020be4 100644 --- a/man/local.mk +++ b/man/local.mk @@ -19,16 +19,15 @@ EXTRA_DIST += man/help2man man1_MANS = @man1_MANS@ - EXTRA_DIST += $(man1_MANS) $(man1_MANS:.1=.x) -MAINTAINERCLEANFILES += $(man1_MANS) EXTRA_MANS = @EXTRA_MANS@ - EXTRA_DIST += $(EXTRA_MANS) $(EXTRA_MANS:.1=.x) ALL_MANS = $(man1_MANS) $(EXTRA_MANS) +MAINTAINERCLEANFILES += $(ALL_MANS) + # This is required because we have subtle inter-directory dependencies: # in order to generate all man pages, even those for which we don't # install a binary, require that all programs be built at distribution @@ -150,7 +149,7 @@ man/yes.1: $(mandep) src/yes.c # This is required so that changes to e.g., emit_bug_reporting_address # provoke regeneration of all the manpages. -$(man1_MANS): $(top_srcdir)/src/system.h +$(ALL_MANS): $(top_srcdir)/src/system.h .x.1: $(AM_V_GEN)case '$(PERL)' in \ |