manual: libosl is optional.
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 14 Jul 2017 13:39:28 +0000 (15:39 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sat, 15 Jul 2017 23:09:09 +0000 (01:09 +0200)
commitb900821b2beccd82a56f17bc43d9fa10e8533942
tree2e035d7fecbca82125d277f15ec36ee38a1b5b4a
parent0d711036d936076f05e2c93a9076cc441f3eb9f9
manual: libosl is optional.

Even without libosl, the build succeeds (only para_server won't be
built). Hence libosl should be listed as optional software. This
commit moves the item out of the list of mandatory packages.
web/manual.md