diff --git a/doc/index.php b/doc/index.php
index 02c2e23f491f17802b6d94b8f58fb7005a18fc16..8738ce7fb1251eeaf6628a7121a9744a5e763bfc 100644
--- a/doc/index.php
+++ b/doc/index.php
@@ -1,4 +1,4 @@
 <?php
 include("../../../web/include/functions.php");
-printHtmlFile("index.html");
+printMarkdownFile("index.md");
 ?>
diff --git a/release.sh b/release.sh
index 1364e097628fa7a8c1d83a127ffec847bd95486c..5e48b9297d7cd8dae10ccbab1fbc96e681598bfd 100755
--- a/release.sh
+++ b/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!"