README - more notes about the docs folder

diff --git a/README.txt b/README.txt
index eebcde380087fbbc2f5ae3b4a89aecba87e8be3b..8014c1689cbdd559b9e20935dd43f96386f6996b 100644 (file)
--- a/README.txt
+++ b/README.txt
@@ -2,7 +2,7 @@ MJC2WSL - convert MicroJava Compiled Bytecode to WSL/FermaT
 ===========================================================
 
 mjc2wsl is distributed under the GPL licence, for more details check the src
-folder.
+folder. More about the tools can be found in the "docs" folder.
 
 
 Quick build and test
@@ -13,6 +13,9 @@ and then do a test - compile all of the sample MicroJava codes into MJ
 bytecode, translate them to WSL and then apply the given transformations in
 MetaWSL to the programs.
 
+Look in the "docs" folder for more details about running the available ant
+tasks.
+
 
 Requirements
 ------------