diff --git a/doc/index.html b/doc/index.html
deleted file mode 100644
index fec23af020eaec0eeabf34ccfbba6ea2e00286b7..0000000000000000000000000000000000000000
--- a/doc/index.html
+++ /dev/null
@@ -1,48 +0,0 @@
-<h1>JastAdd2 Release R20130212
-</h1>
-
-<h2> Binary distribution </h2>
-<ul>
-  <li> The tool: <a href="jastadd2.jar">jastadd2.jar</a>
-  <br> Do "java -jar jastadd2.jar --help" for information on how to run the tool from the command line. </li>
-  <li> <a href="reference-manual.php">Reference manual</a> </li>
-  <li> <a href="release-notes.php">Release notes</a> <br></li><br>
-  <li> All three files zipped together: <a href="jastadd2-bin.zip">jastadd2-bin.zip</a> <br>
-  Unpack by the command "unzip jastadd2-bin.zip"</li>
-</ul>
-
-<h2> Source distribution </h2>
-<ul>
-  <li> The source: <a href="jastadd2-src.zip">jastadd2-src.zip</a></li>
-  <ul>
-    <li> Unpack by the command "unzip jastadd2-src.zip" </li>
-    <li> Get <a href="http://www.eclipse.org/downloads/download.php?file=/tools/aspectj/aspectj-1.5.3.jar">AspectJ 1.5.3</a>,
-         and install it as follows: </li>
-       <ul>
-         <li>Create a new empty dir where you unpack aspectj-1.5.3.jar by the command
-         <pre>jar -xf aspectj-1.5.3.jar
-         </pre>
-         </li>
-         <li> Move its "lib" directory to "jastadd-src/tools" and rename it to "aspectj-1.5.3".
-              You should end up with the following directory structure:
-         <pre>
-         jastadd-src/
-           ...
-           tools/
-             ...
-             aspectj-1.5.3/
-               aspectjlib.jar
-               aspectjrt.jar
-               aspectjtools.jar
-               aspectjweaver.jar
-         </pre>
-         </li>
-       </ul>
-    <li> Go to jastadd-src and build jastadd2.jar:
-         <pre>
-         > cd jastadd-src
-         > make jar
-         </pre>
-    </li>
-  </ul>
-</ul>
diff --git a/doc/index.md b/doc/index.md
new file mode 100644
index 0000000000000000000000000000000000000000..e29119080f977aa59b5ed186619ba146f9f1ba1e
--- /dev/null
+++ b/doc/index.md
@@ -0,0 +1,23 @@
+JastAdd2 Release R20130212
+==========================
+
+Binary distribution
+-------------------
+
+* 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`
+
+Source distribution
+-------------------
+
+* The source: [jastadd2-src.zip](jastadd2-src.zip)
+    * Unpack using the command `unzip jastadd2-src.zip`
+    * Go to jastadd-src and build `jastadd2.jar`:
+
+        cd jastadd-src
+        make jar
+
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");
 ?>