Fix LD_LIBRARY_PATH in Linux docs
In the Linux section of the Developers documentation, the LD_LIBRARY_PATH is set while omitting to append to the current values:
export LD_LIBRARY_PATH=${PWD}/../install/lib/ # this is a temporary fix
It should be fixed. Also, check if there other wrong occurrences.