diff options
| author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-10-26 20:07:24 +0200 |
|---|---|---|
| committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2016-10-26 20:07:24 +0200 |
| commit | f19ebc44b9f8a1e537c7e2ef66b22a1bd71034a1 (patch) | |
| tree | f182a0434431fc35dd1857ccd5a0d8d1772c2a9b /doc/Makefile.am | |
| parent | df57ff21ae053f0dc8ab2f198e0c02025872ca09 (diff) | |
removing comment
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 1f34fda9..c21a0627 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -7,7 +7,3 @@ arch.pdf: arch.dot 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 - |