Updated build-docs.py.