Updated documentation

README.md

 JastAdd2
 ========
 
-JastAdd2 was developed at Lund University by Torbjörn Ekman, Görel Hedin,
-and Eva Magnusson. JastAdd2 has recieved additional contributions from
-Emma Söderberg, Jesper Öqvist and Niklas Fors.
+JastAdd2 was developed at Lund University by Torbjörn Ekman, Görel
+Hedin, and Eva Magnusson. JastAdd2 has recieved additional contributions from
+Emma Söderberg, Jesper Öqvist and Niklas Fors.
 
 For additional contributors, see the change logs.
 

doc/index.md

 JastAdd2 Release R20130312
 ==========================
 
-Binary distribution
--------------------
+Please view the [ReadMe page][1] for usage and building instructions.
 
-* The tool: [jastadd2.jar](jastadd2.jar)<br>
-Do `$ java -jar jastadd2.jar --help` for information on how to run the tool from the command line.
-* [Reference manual](reference-manual.php)
-* [Release notes](release-notes.php)
-* All three files zipped together: [jastadd2-bin.zip](jastadd2-bin.zip)<br>
-Unpack using the command `$ unzip jastadd2-bin.zip`
+Downloads
+---------
 
-Source distribution
--------------------
+* [jastadd2.jar][2]
+* [Full binary distribution][3]
+* [Source distribution][4]
 
-* The source: [jastadd2-src.zip](jastadd2-src.zip)
-    * Unpack using the command `$ unzip jastadd2-src.zip`
-    * Go to `jastadd2-src` and build `jastadd2.jar`:
+Release notes
+-------------
 
-            cd jastadd2-src
-            make jar
+[Click here to view release notes.][5]
 
+Reference manual
+----------------
+
+[Click here to view the reference manual.][6]
+
+
+[1]: readme.php
+[2]: jastadd2.jar
+[3]: jastadd2-bin.zip
+[4]: jastadd2-src.zip
+[5]: release-notes.php
+[6]: reference-manual.php

doc/readme.php

+<?php
+include("../../../web/include/functions.php");
+printMarkdownFile("README.md");
+?>

release.sh

@@ -21,7 +21,7 @@ echo "ssh login.cs.lth.se \"mkdir /cs/jastadd/releases/jastadd2/${VERSION}\""
 echo
 echo "# 4.1 Upload the zip files and appropriate documentation to jastadd.org"
 echo "scp jastadd2.jar jastadd2-src.zip jastadd2-bin.zip doc/*.html doc/*.php\\"
-echo "    doc/*.md login.cs.lth.se:/cs/jastadd/releases/jastadd2/${VERSION}"
+echo "    doc/*.md README.md login.cs.lth.se:/cs/jastadd/releases/jastadd2/${VERSION}"
 echo
 echo "# 4.2 Make sure the new files have group write permission"
 echo "ssh login.cs.lth.se \"chmod -R g+w /cs/jastadd/releases/jastadd2/${VERSION}\""