update make_docs script to deal with directory with spaces