diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-01T14·18+0100 |
|---|---|---|
| committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2014-02-01T14·18+0100 |
| commit | 844d83352c23db4a3131ac2b11b9ed2af03cdfd6 (patch) | |
| tree | d689b99ad62cb9187dfdcd593ac7658265ae48ae /doc/manual | |
| parent | 74ca70da3a6d2f110a9dccf15c46422b1b078e3f (diff) | |
More "make dist" fixes
Diffstat (limited to 'doc/manual')
| -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 92413eb7e2b2..081b9855702a 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 |