From 06bccbe1a87a9450c9fffd8990d817a012fe3809 Mon Sep 17 00:00:00 2001
From: Jaime Arias <arias@lipn.univ-paris13.fr>
Date: Wed, 25 Sep 2019 20:24:09 +0200
Subject: [PATCH] Update README with Graphviz dependency

---
 README.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index c210fa1..9231950 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,7 @@
 # ADT2AMAS
 
-Tool for transforming Attack-Defense Trees (ADTrees) into Asynchronous Multi-Agent Systems (AMAS).
+Tool for transforming Attack-Defense Trees (ADTrees) into Asynchronous
+Multi-Agent Systems (AMAS).
 
 # Dependencies
 
@@ -15,4 +16,6 @@ Tool for transforming Attack-Defense Trees (ADTrees) into Asynchronous Multi-Age
 
 # Generate Documentation
 
-To generate the documentation you need to replace the step 3 above by `cmake .. -DBUILD_DOCS=ON`.
+To generate the documentation you need to install
+[Graphviz](http://www.graphviz.org/) and replace the step 3 above by `cmake
+.. -DBUILD_DOCS=ON`.
-- 
GitLab