Publish index.md rather than index.html in release

The index.html file is rendered instead of index.php which means that
the menu is missing because header/footer html is not rendered.
Publishing index.md instead fixes this problem.

doc/index.php

 <?php
 include("../../../web/include/functions.php");
-printHtmlFile("index.html");
+printMarkdownFile("index.md");
 ?>

release.sh

@@ -45,8 +45,15 @@ ant release -Dversion=$VERSION
 
 echo "Uploading files to jastadd.org..."
 # --chmod=g+w sets group write permission
-rsync -av --chmod=g+w jastadd2-src.zip jastadd2-bin.zip doc/*.html doc/*.php \
-    README.md login.cs.lth.se:/cs/jastadd/releases/jastadd2/${VERSION}
+rsync -av --chmod=g+w \
+  jastadd2-src.zip \
+  jastadd2-bin.zip \
+  README.md \
+  doc/*.php \
+  doc/index.md \
+  doc/reference-manual.html \
+  doc/release-notes.html \
+  login.cs.lth.se:/cs/jastadd/releases/jastadd2/${VERSION}
 
 echo
 echo "Check that it works!"