9dd0a4
Merge pull request #3184 from martinvanzijl/correct-library-path-in-linux-doc Correct library path in Linux installation doc