From 932201f41ce50050c728077d30273200ea44a4ec Mon Sep 17 00:00:00 2001
From: Matthias Vogelgesang <matthias.vogelgesang@gmail.com>
Date: Thu, 11 Apr 2013 09:16:40 +0200
Subject: Append NEWS file to the manual

---
 docs/Makefile | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'docs')

diff --git a/docs/Makefile b/docs/Makefile
index 53dc6fd..ededfe8 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -1,5 +1,8 @@
 PANDOC=$(shell which pandoc)
 OPTS=-s --smart --toc
+MANUAL=manual.md
+NEWS=../NEWS
+INPUTS=$(MANUAL) $(NEWS)
 
 all: pdf html
 
@@ -10,11 +13,11 @@ html: manual.html
 clean:
 	rm -f manual.pdf manual.html
 
-manual.pdf: manual.md
-	$(PANDOC) $(OPTS) manual.md -o manual.pdf
+manual.pdf: $(INPUTS)
+	$(PANDOC) $(OPTS) $(INPUTS) -o $@
 
-manual.html: manual.md style.css
-	$(PANDOC) $(OPTS) manual.md -H webfonts.html -c style.css -o manual.html
+manual.html: $(INPUTS) style.css
+	$(PANDOC) $(OPTS) $(INPUTS) -H webfonts.html -c style.css -o $@
 
 ifeq ($(PANDOC),)
 	$(warning Pandoc not found!)
-- 
cgit v1.2.3