Add a script to install documentation on a remote server.
Fix installation instructions.