Add a link to the PDF version of the manual.

diff --git a/docs.mdwn b/docs.mdwn
index 2b2fc03..64cf3b3 100644 (file)
--- a/docs.mdwn
+++ b/docs.mdwn
@@ -13,7 +13,8 @@ something else than the documentation says, please tell us!
 ### Manual
 
 The main source of information is the
-[tinc manual](/documentation/tinc_toc). This text describes how to
+manual ([HTML](/documentation/tinc_toc), [PDF](/documentation/tinc.pdf)).
+This text describes how to
 set up a VPN using tinc. It also contains a chapter with more
 technical details, which you may want to read, as well as the ideas
 behind tinc. This manual is currently up to date with version