From 6ef32bddc1f10034322966b3a5b85af7b9cdc4d8 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <eelco.dolstra@logicblox.com>
Date: Sat, 1 Feb 2014 14:28:31 +0100
Subject: Fix "make dist"

---
 doc/manual/local.mk | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'doc/manual/local.mk')

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
+
-- 
cgit 1.4.1