Update doc/sources/installation/installation-linux.rst

just cleaned up one thing...