add a link in the docs section to the manual as PDF
authorBenno Schulenberg <bensberg@telfort.nl>
Tue, 8 Jun 2021 09:12:04 +0000 (11:12 +0200)
committerBenno Schulenberg <bensberg@telfort.nl>
Tue, 8 Jun 2021 09:12:04 +0000 (11:12 +0200)
commit7eb9b95e3ac13cf7cbe901b8515c186cf0cf4edb
tree4e563d791b3f3615e6642f966213f9a92e3b865c
parent955d40963c5070b3947d17ced2bd51a4c5a328e7
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.
docs.php