diff --git a/.gitignore b/.gitignore index 540035ce..82246d82 100644 --- a/.gitignore +++ b/.gitignore @@ -17,3 +17,7 @@ scratch.wren # The baseline file is machine-specific, so doesn't get checked in. benchmark/baseline.txt + +# built docs get copied here, which is presumed to be a separate checkout of +# the repo so they can be pushed to GitHub Pages. +gh-pages/ \ No newline at end of file diff --git a/Makefile b/Makefile index f4e5202c..36f6f402 100644 --- a/Makefile +++ b/Makefile @@ -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