Readme refers to otawa-doc

README.md

@@ -6,34 +6,8 @@ Author: Fabien Bouquillon
 
 ### OTAWA v2 ###
 
-First of all, you should download and install OTAWA v2, from here:
-
-http://www.otawa.fr/
-
-To downaload and install OTAWA, you first download the script
-
-http://www.tracesgroup.net/otawa/packages/otawa-install.py
-
-then execute the script using python 2.7
-
-### Installing extra packages ###
-
-Some libraries you will need:
-
-- libxslt
-- ocaml
-- gcc-arm-none-eabi
-
-For example, on Ubuntu type :
-
-	sudo apt-get install <package-name>
-
-You will probably need to install the OTAWA plugins for ARM.
-Go into otawa/bin and type:
-
-	./otawa-install.py otawa-arm
-	./otawa-install.py otawa-lp_solve5
-
+See https://gitlab.cristal.univ-lille.fr/otawa-plugins/otawa-doc for
+instructions on how to install OTAWA v2.
 
 ### Setting environment ###