From 0c89d53214ae11af36e7ce08b3d2c99cc8521a53 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Tue, 14 Oct 2014 16:59:55 +0100 Subject: [PATCH] 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. + [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 ----- -- 1.7.10.4