From a0536b3b637a1ba6109f9f4b3a3b04a7763582fb Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Mon, 29 May 2017 01:18:14 +0200
Subject: rename proposal_data to contract_terms (see #4879)

---
 doc/Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/Makefile.am')

diff --git a/doc/Makefile.am b/doc/Makefile.am
index b233fa5c..86e8e653 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -3,7 +3,7 @@ all: manual.pdf manual.html
 manual.pdf: arch.pdf manual.texi
 	texi2pdf manual.texi
 manual.html: arch.jpg manual.texi
-	texi2html manual.texi
+	makeinfo --html --no-split manual.texi
 arch.pdf: arch.dot
 	dot -Tpdf arch.dot > arch.pdf
 arch.jpg: arch.dot
-- 
cgit v1.2.3