From: Doni Pracner <quinnuendo@gmail.com>
Date: Wed, 12 Feb 2014 19:05:04 +0000 (+0100)
Subject: README - more notes about the docs folder
X-Git-Tag: v0.1.5
X-Git-Url: https://svarog.pmf.uns.ac.rs/gitweb/?a=commitdiff_plain;h=782dea84b2ee695c6d2cc2817d63a1941b008c0c;p=mjc2wsl.git

README - more notes about the docs folder
---

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
 ------------