diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index c21a0627..b233fa5c 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,9 +1,13 @@ -all: manual.pdf +all: manual.pdf manual.html -manual.pdf: arch.pdf +manual.pdf: arch.pdf manual.texi texi2pdf manual.texi +manual.html: arch.jpg manual.texi + texi2html manual.texi 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 |