diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-10-26 16:42:41 +0200 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-10-26 16:42:41 +0200 |
commit | 5b08f476ec93193756f1152ffbae722cee9e07d3 (patch) | |
tree | 811d094b76ebb9968669a6d70903593d39c6046b /doc/Makefile.am | |
parent | dc1676ce694ff0c6aa90dbde06587928c1f13424 (diff) | |
download | merchant-5b08f476ec93193756f1152ffbae722cee9e07d3.tar.gz merchant-5b08f476ec93193756f1152ffbae722cee9e07d3.tar.bz2 merchant-5b08f476ec93193756f1152ffbae722cee9e07d3.zip |
dot diagram for docs
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 10da2d7d..6d822548 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,2 +1,5 @@ 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 |