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