about summary refs log tree commit diff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-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 8d49e1e4d5ae..92413eb7e2b2 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
+