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
 ===========================================================
 
 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
 
 
 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.
 
 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
 ------------
 
 Requirements
 ------------