diff options
| author | Florian Dold <florian.dold@gmail.com> | 2018-02-01 15:08:33 +0100 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2018-02-01 15:08:33 +0100 |
| commit | 4db25c53116277c38ba1a916b88b8552ac90ebad (patch) | |
| tree | e738f70d8a13b3d89f35ed9d16332ec830fb838e /doc/Makefile.am | |
| parent | a2610d1b21d735b1363b33ca3ec4fe053b5e8a35 (diff) | |
fix doc build, include syntax highlighting
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 94c0ef44..a755143e 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,13 +1,12 @@ all: manual.pdf manual.html manual.pdf: arch.pdf manual.texi - texi2pdf manual.texi -manual.html: arch.jpg manual.texi - makeinfo --html --no-split manual.texi +manual.html: arch.png manual.texi + arch.pdf: arch.dot dot -Tpdf arch.dot > arch.pdf -arch.jpg: arch.dot - dot -Tjpg arch.dot > arch.jpg +arch.png: arch.dot + dot -Tpng arch.dot > arch.png AM_MAKEINFOHTMLFLAGS = --no-split --css-ref=docstyle.css --css-ref=brown-paper.css |