prepare branch for release.

andylamp · Jun 9, 2016 · 7c81b20 · 7c81b20
1 parent 0833fec
commit 7c81b20
Show file tree

Hide file tree

Showing 6 changed files with 2 additions and 3,230 deletions.
diff --git a/README.md b/README.md
@@ -47,8 +47,8 @@ if `DEBUG` flag is set to `0` at compile time.
 # Compiling a `.ptuc` file
 
 The next step is to compile a `.ptuc` file; if you want to create your own files you will probably
-have to read the `ptuc` language definition which is located [here][5]. Alternatively, if you want to just
-execute the test or the example files you have two options, which are:
+have to read the `ptuc` language definition. Alternatively, if you want to just execute the test or the example
+files you have two options, which are:
 
 ## Make the test
 

diff --git a/docs/intro.md b/docs/intro.md