diff options
| -rw-r--r-- | doc/manual/local.mk | 2 | ||||
| -rw-r--r-- | local.mk | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index 081b9855702a..4342215b0e44 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -47,7 +47,7 @@ $(man-pages): $(d)/manual.xmli $(d)/manual.is-valid clean-files += $(d)/*.1 $(d)/*.5 $(d)/*.8 -dist-files += $(d)/*.1 $(d)/*.5 $(d)/*.8 +dist-files += $(man-pages) # Generate the HTML manual. diff --git a/local.mk b/local.mk index 174e6150e079..c48857f24be7 100644 --- a/local.mk +++ b/local.mk @@ -1,4 +1,6 @@ -dist-files += $(shell git ls-files) $(shell git ls-files) +ifeq ($(MAKECMDGOALS), dist) + dist-files += $(shell git ls-files) $(shell git ls-files) +endif dist-files += configure config.h.in |