diff options
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 6d822548..1f34fda9 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,5 +1,13 @@ +all: manual.pdf + +manual.pdf: arch.pdf + texi2pdf manual.texi +arch.pdf: arch.dot + dot -Tpdf arch.dot > arch.pdf + info_TEXINFOS = manual.texi manual_TEXINFOS = version.texi # FIXME. Find a way to compile arch.dot here. # The command is: dot -Tpng arch.dot > arch.png + |