X-Git-Url: http://git.indexdata.com/?a=blobdiff_plain;f=doc%2Findex.markdown;h=5a0727bb63d548ae8d855788b31a3df12c9b4a15;hb=0c89d53214ae11af36e7ce08b3d2c99cc8521a53;hp=2f4a06947f4a08c93f8425f65605ae32b82e1a6b;hpb=7bac0889ac2cf1032c4eceb2334f7d348d7c78a0;p=mkws-moved-to-github.git
diff --git a/doc/index.markdown b/doc/index.markdown
index 2f4a069..5a0727b 100644
--- a/doc/index.markdown
+++ b/doc/index.markdown
@@ -31,10 +31,14 @@ else is refinement.
Documentation
-------------
+* This file.
+ [PDF version]
* The README -- mostly technical details.
+ [PDF version]
* The MKWS manual, including a reference section.
- This is a much better introduction.
+ [PDF version]
* The MKWS developers' guide.
+ [PDF version]
Tools
-----