Fix `make gh-pages` to work with the new setup.