Add links to PDF versions of documentation.

diff --git a/doc/index.markdown b/doc/index.markdown
index 2f4a069..5a0727b 100644 (file)
--- a/doc/index.markdown
+++ b/doc/index.markdown
@@ -31,10 +31,14 @@ else is refinement.
 Documentation
 -------------
 
+* This file.
+  [<a href="index.pdf">PDF version</a>]
 * The <a href="README.html">README</a> -- mostly technical details.
+  [<a href="README.pdf">PDF version</a>]
 * The <a href="mkws-manual.html">MKWS manual, including a reference section.</a>
-  This is a much better introduction.
+  [<a href="mkws-manual.pdf">PDF version</a>]
 * The <a href="mkws-developer.html">MKWS developers' guide.</a>
+  [<a href="mkws-developer.pdf">PDF version</a>]
 
 Tools
 -----