manual: Add realpath to list of packages.
authorAndre Noll <maan@tuebingen.mpg.de>
Sun, 13 Mar 2016 17:43:04 +0000 (18:43 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 13 Mar 2016 17:43:04 +0000 (18:43 +0100)
commit7ccb64e6af4763240a262a4158a9ac71ddf597a2
tree7af4cca04bd95cee68571dbafdddba31b4b5220b
parente5102d0636177bbe4dd58b91b91cfe10fabab877
manual: Add realpath to list of packages.

It's a pity that this useful utility seems not to be installed by
default on Ubuntu systems.
web/manual.m4