web: Remove out-of-date man page and the link to it.
authorMarcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de>
Fri, 30 Jun 2017 18:59:23 +0000 (20:59 +0200)
committerMarcus Brinkmann <marcus.brinkmann@ruhr-uni-bochum.de>
Fri, 30 Jun 2017 18:59:23 +0000 (20:59 +0200)
commit300ed7ad084ca45cc780a1b1b51d86c5951943a5
tree2b92dcc8bf49b93bb3bd4b9a48420d8a339772ce
parentf98282752babb7fc9c25726de2246ccc7dc23d0f
web: Remove out-of-date man page and the link to it.
web/documentation/index.org
web/documentation/manpage.org [deleted file]