Fix script of docs deployment

Fix #10 and fix #4.