diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/.gitignore | 1 | ||||
| -rw-r--r-- | doc/Makefile.am | 12 |
2 files changed, 12 insertions, 1 deletions
diff --git a/doc/.gitignore b/doc/.gitignore index 6eab057..9ffb45d 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -13,6 +13,7 @@ *.pdf *.dvi *.html +diagrams/*.svg # generated by configure/autotools Makefile diff --git a/doc/Makefile.am b/doc/Makefile.am index c38a564..be9c55e 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -21,4 +21,14 @@ MAKEINFOHTML = $(MAKEINFO) --html --css-include liza.css info_TEXINFOS = liza.texi -liza_TEXINFOS = design.texi macros.texi config.texi liza.css +liza_TEXINFOS = design.texi macros.texi config.texi liza.css \ + diagram/event-graph.svg + +diagram/%.svg: diagram/%.dot +if HAS_TWOPI + $(TWOPI) -Tsvg "$<" > "$@" +else + @echo "cannot build $<;" >&2 + @echo "install graphviz package and re-configure" >&2 +endif + |