summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile.am10
1 files changed, 6 insertions, 4 deletions
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