README - more notes about the docs folder

diff --git a/README.txt b/README.txt
index eebcde3..8014c16 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
 ------------