about summary refs log tree commit diff
path: root/doc/manual/local.mk
diff options
context:
space:
mode:
authorEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-01T13·28+0100
committerEelco Dolstra <eelco.dolstra@logicblox.com>2014-02-01T13·38+0100
commit6ef32bddc1f10034322966b3a5b85af7b9cdc4d8 (patch)
tree7cd959b794ae2a969b49434416bb9d6f3af6a859 /doc/manual/local.mk
parent0c6d62cf27b3b22fa60bddad16ea8e8d062e4a99 (diff)
Fix "make dist"
Diffstat (limited to 'doc/manual/local.mk')
-rw-r--r--doc/manual/local.mk5
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk
index 8d49e1e4d5..92413eb7e2 100644
--- a/doc/manual/local.mk
+++ b/doc/manual/local.mk
@@ -28,6 +28,8 @@ $(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
+
 
 # Generate man pages.
 man-pages := $(foreach n, \
@@ -64,6 +66,8 @@ all: $(d)/manual.html
 
 clean-files += $(d)/manual.html
 
+dist-files += $(d)/manual.html
+
 
 # Generate the PDF manual.
 $(d)/manual.pdf: $(d)/manual.xml $(MANUAL_SRCS) $(d)/manual.is-valid
@@ -77,3 +81,4 @@ $(d)/manual.pdf: $(d)/manual.xml $(MANUAL_SRCS) $(d)/manual.is-valid
 	fi
 
 clean-files += $(d)/manual.pdf
+