diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 10 |
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 |