From bb8a3e82e6acb5c8bd76c072e502ff1988495225 Mon Sep 17 00:00:00 2001 From: Lucien Greathouse Date: Fri, 21 Jun 2019 17:44:08 -0700 Subject: [PATCH] New doc site --- bin/docs-index.html | 10 ++++++++++ bin/generate-docs | 13 +++++++------ 2 files changed, 17 insertions(+), 6 deletions(-) create mode 100644 bin/docs-index.html diff --git a/bin/docs-index.html b/bin/docs-index.html new file mode 100644 index 00000000..098d9e79 --- /dev/null +++ b/bin/docs-index.html @@ -0,0 +1,10 @@ + + + + redirect + + + + + + \ No newline at end of file diff --git a/bin/generate-docs b/bin/generate-docs index 22991a29..28543eee 100644 --- a/bin/generate-docs +++ b/bin/generate-docs @@ -1,31 +1,32 @@ #!/bin/sh # Kludged documentation generator to support multiple versions. -# Make sure the `site` folder is a checkout of this repository's `gh-pages` -# branch. set -e REMOTE=$(git remote get-url origin) CHECKOUT="$(mktemp -d)" -OUTPUT="$(pwd)/site" +OUTPUT="$(pwd)/site/docs" if [ -d site ] then cd site git pull else - git clone "$REMOTE" site + git clone https://github.com/rojo-rbx/rojo-rbx.github.io site cd site - git checkout gh-pages fi +rm -rf docs +mkdir docs +cp ../bin/docs-index.html docs/index.html + git clone "$REMOTE" "$CHECKOUT" cd "$CHECKOUT" echo "Building master" git checkout master -mkdocs build --site-dir "$OUTPUT" +mkdocs build --site-dir "$OUTPUT/latest" echo "Building 0.5.x" mkdocs build --site-dir "$OUTPUT/0.5.x"