manual: Shorten Installation section.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 3 Jan 2015 04:27:21 +0000 (04:27 +0000)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 12 Jan 2015 22:35:45 +0000 (23:35 +0100)
commit6f68e76a0cfe31757c4e7158ca30f4c85b8a8774
tree080d32008307cc8d9854095cecdb1ad48570aec5
parent55aa934b633be4b5635ebf334a629ec299dd6bfc
manual: Shorten Installation section.

This section contains some information which is already mentioned in
the previous section on required and optional packages. This patch
gets rid of the redundant parts.
web/manual.m4