web: Fix URL and removes links to older manuals
authorWerner Koch <wk@gnupg.org>
Tue, 28 Mar 2017 15:46:56 +0000 (17:46 +0200)
committerWerner Koch <wk@gnupg.org>
Tue, 28 Mar 2017 15:46:56 +0000 (17:46 +0200)
commit1d5404a9815f0280690d18577f987ea0b2c09c46
tree30677d48e3724e90c69f2163d99245d171661e72
parentf39226b2bbfc01d4d8286061ba04b704257373d7
web: Fix URL and removes links to older manuals

org-mode magic for the "file:" scheme does not work for manuals
because they are only on the web server.  Thus we use full URLs and
let the build post processing make them relative again.
web/documentation/manuals.org
web/software/gpgme/index.org