I don't think this is necessary. It should be run automatically with `make html`. See the Makefile.