diff --git a/Makefile b/Makefile index c62377f54cf575d44eee20d3dd72a8d7761049b5..eac0719a577e8801f3d5cc73192b77fc540df87e 100755 --- a/Makefile +++ b/Makefile @@ -419,7 +419,9 @@ define functionCommonPreinstall # Proverif mkdir -p $(1)/TTool/proverif cp $(TTOOL_DOC)/README_proverif $(1)/TTool/proverif - +#Graphs + mkdir -p $(1)/TTool/graphs + cp $(TTOOL_DOC)/README_graph $(1)/TTool/graphs # Figure mkdir -p $(1)/TTool/figure cp $(TTOOL_DOC)/README_figure $(1)/TTool/figure