commit df57ff21ae053f0dc8ab2f198e0c02025872ca09
parent f8b543f2598f7e18a7ac9f3277cf0151331e4bbc
Author: Christian Grothoff <christian@grothoff.org>
Date: Wed, 26 Oct 2016 19:53:16 +0200
add build rules for arch.pdf
Diffstat:
1 file changed, 8 insertions(+), 0 deletions(-)
diff --git a/doc/Makefile.am b/doc/Makefile.am
@@ -1,5 +1,13 @@
+all: manual.pdf
+
+manual.pdf: arch.pdf
+ texi2pdf manual.texi
+arch.pdf: arch.dot
+ dot -Tpdf arch.dot > arch.pdf
+
info_TEXINFOS = manual.texi
manual_TEXINFOS = version.texi
# FIXME. Find a way to compile arch.dot here.
# The command is: dot -Tpng arch.dot > arch.png
+