about summary refs log tree commit diff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-01T14·18+0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-01T14·18+0100
commit844d83352c23db4a3131ac2b11b9ed2af03cdfd6 (patch)
treed689b99ad62cb9187dfdcd593ac7658265ae48ae /doc/manual
parent74ca70da3a6d2f110a9dccf15c46422b1b078e3f (diff)
More "make dist" fixes
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/local.mk4
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