Fix generate-docs.