manual: Do not mention gengetopt and help2man any more.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 26 Jun 2016 10:44:56 +0000 (12:44 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 26 Mar 2017 09:02:28 +0000 (11:02 +0200)
commitaf977f4d111f0d1eac671c82029384eba1a0d696
treebd02edee016f004824cd2b16f0b2a3ca275a3ec8
parente9dd7df880c68a2d664ea10d167e6667707f9fd5
manual: Do not mention gengetopt and help2man any more.

Both tools are no longer required to build the paraslash tree, so
there is no point to list them in the set of packages to install. The
patch also removes the links to the source code from the user manual.
web/manual.md