X-Git-Url: http://svarog.pmf.uns.ac.rs/gitweb/?p=mjc2wsl.git;a=blobdiff_plain;f=README.txt;h=8014c1689cbdd559b9e20935dd43f96386f6996b;hp=eebcde380087fbbc2f5ae3b4a89aecba87e8be3b;hb=102044c2e6ad75c7ccd28cc9a11082b819534a7a;hpb=8d84760b785210c951543762c5d10b9f78845c53

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