From 74fc84ce79b68782779886a8dc1fa79131638da6 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Fri, 11 Nov 2016 13:22:21 +0100
Subject: automatically generate HTML

---
 doc/Makefile.am | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'doc')

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 61362694..d7a3fe4f 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,11 +1,13 @@
-all: manual.pdf
+all: manual.pdf manual.html
 
-manual.pdf: arch.pdf examples.zip
+manual.pdf: arch.pdf
+	texi2pdf manual.texi
+manual.html: arch.jpg
 	texi2pdf manual.texi
-examples.zip:
-	zip examples.zip examples/*
 arch.pdf: arch.dot
 	dot -Tpdf arch.dot > arch.pdf
+arch.jpg: arch.dot
+	dot -Tjpg arch.dot > arch.jpg
 
 info_TEXINFOS = manual.texi
 manual_TEXINFOS = version.texi
-- 
cgit v1.2.3