add a link in the docs section to the manual as PDF

The PDF has been there for ages, but the website has never linked to it.

diff --git a/docs.php b/docs.php
index 768f6eb074de9400b38c511ae98aa61c8e7a813a..f0b14cef8af72c45f070bd28ab1fbf1877406b94 100644 (file)
--- a/docs.php
+++ b/docs.php
@@ -39,6 +39,13 @@ Description
 <td>The full nano manual in HTML format.</td>
 </tr>
 
+<tr>
+<td>
+<center><a href="/dist/latest/nano.pdf">The manual as PDF</a></center>
+</td>
+<td>The full nano manual in PDF format.</td>
+</tr>
+
 <tr>
 <td>
 <center><a href="/dist/latest/nano.1.html">Man Page</a></center>