From 0c89d53214ae11af36e7ce08b3d2c99cc8521a53 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Tue, 14 Oct 2014 16:59:55 +0100
Subject: [PATCH 1/1] Add links to PDF versions of documentation.

---
 doc/index.markdown |    6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

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.
+  [<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
 -----
-- 
1.7.10.4