fix make file issue

Fix the script that builds the docs.