diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/local.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk index 92413eb7e..081b98557 100644 --- a/doc/manual/local.mk +++ b/doc/manual/local.mk @@ -28,7 +28,7 @@ $(d)/manual.is-valid: $(d)/manual.xmli clean-files += $(d)/manual.xmli $(d)/version.txt $(d)/manual.is-valid -clean-files += $(d)/manual.xmli $(d)/version.txt $(d)/manual.is-valid +dist-files += $(d)/manual.xmli $(d)/version.txt $(d)/manual.is-valid # Generate man pages. @@ -47,6 +47,8 @@ $(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 + # Generate the HTML manual. $(d)/manual.html: $(d)/manual.xml $(MANUAL_SRCS) $(d)/manual.is-valid |