Commit a6ae6d05 authored by Timo Koch's avatar Timo Koch
Browse files

[handbook] Fix and update installation instructions

In particular remove non-recommended installation command that also
contained an outdated --use-cmake option which doesn't exist anymore.
parent 747346f8
Pipeline #4903 waiting for manual action with stages