diff options
| author | Christian Grothoff <christian@grothoff.org> | 2016-11-11 13:22:21 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2016-11-11 13:22:21 +0100 |
| commit | 74fc84ce79b68782779886a8dc1fa79131638da6 (patch) | |
| tree | 70a1a8202fafeade72849611d07d97b8773e60bd /doc/Makefile.am | |
| parent | 4e79b42fd0f07d276aacb666e91f3d07fa65a57a (diff) | |
automatically generate HTML
Diffstat (limited to 'doc/Makefile.am')
| -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 |