Complete build-docs.py and remove the old shell script.