Closed mcpherrinm closed 7 years ago
https://github.com/blog/2228-simpler-github-pages-publishing
We have a somewhat janky "deploy.sh" script for rebuilding the website and deploying.
We should rename /website to /docs, and replace deploy.sh with a script that just rebuilds api docs & javadocs in that folder.
Then we can shed a bunch of the complexity from deploy.sh with tempdirs and git and stuff.
done
https://github.com/blog/2228-simpler-github-pages-publishing
We have a somewhat janky "deploy.sh" script for rebuilding the website and deploying.
We should rename /website to /docs, and replace deploy.sh with a script that just rebuilds api docs & javadocs in that folder.
Then we can shed a bunch of the complexity from deploy.sh with tempdirs and git and stuff.