commit 74fc84ce79b68782779886a8dc1fa79131638da6 parent 4e79b42fd0f07d276aacb666e91f3d07fa65a57a Author: Christian Grothoff <christian@grothoff.org> Date: Fri, 11 Nov 2016 13:22:21 +0100 automatically generate HTML Diffstat:
| M | doc/Makefile.am | | | 10 | ++++++---- |
1 file changed, 6 insertions(+), 4 deletions(-)
diff --git 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