feat: add gh-pages make target to build docs and copy to gh-pages directory

Add a new `gh-pages` make target that depends on the `docs` target and copies the generated documentation from `build/docs/` into a local `gh-pages/` directory. Also update `.gitignore` to exclude the `gh-pages/` directory, which is intended to be a separate checkout of the repository for pushing to GitHub Pages.
2015-01-02 04:58:36 +00:00
parent 722ca8f61d
commit 5c867fbc49
2 changed files with 8 additions and 0 deletions
@@ -60,3 +60,7 @@ docs:
 # Continuously generate the Wren site.
 watchdocs:
 	@./script/generate_docs.py --watch
+
+# Build the docs and copy them to a local "gh-pages" directory.
+gh-pages: docs
+	cp -r build/docs/. gh-pages