Use external script to update sphinx documentation on server