The new way is to follow the instructions at the top of `web/docs/build.py`. The option in build.sh has been unused for a while. Invoking Python from CMake was pointless, especially since I don't want to force other developers to install a specific version of Python etc.