Update Manual-Linux.txt