From 4db25c53116277c38ba1a916b88b8552ac90ebad Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Thu, 1 Feb 2018 15:08:33 +0100
Subject: fix doc build, include syntax highlighting

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

(limited to 'doc/Makefile.am')

diff --git a/doc/Makefile.am b/doc/Makefile.am
index 94c0ef44..a755143e 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,13 +1,12 @@
 all: manual.pdf manual.html
 
 manual.pdf: arch.pdf manual.texi
-	texi2pdf manual.texi
-manual.html: arch.jpg manual.texi
-	makeinfo --html --no-split manual.texi
+manual.html: arch.png manual.texi
+
 arch.pdf: arch.dot
 	dot -Tpdf arch.dot > arch.pdf
-arch.jpg: arch.dot
-	dot -Tjpg arch.dot > arch.jpg
+arch.png: arch.dot
+	dot -Tpng arch.dot > arch.png
 
 AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=docstyle.css --css-ref=brown-paper.css
 
-- 
cgit v1.2.3