commit f19ebc44b9f8a1e537c7e2ef66b22a1bd71034a1 parent df57ff21ae053f0dc8ab2f198e0c02025872ca09 Author: Marcello Stanisci <marcello.stanisci@inria.fr> Date: Wed, 26 Oct 2016 20:07:24 +0200 removing comment Diffstat:
| M | doc/Makefile.am | | | 4 | ---- |
1 file changed, 0 insertions(+), 4 deletions(-)
diff --git 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 -