generate docs in push-to-web