mirror of
https://github.com/rojo-rbx/rojo.git
synced 2026-04-23 14:15:24 +00:00
New doc site
This commit is contained in:
10
bin/docs-index.html
Normal file
10
bin/docs-index.html
Normal file
@@ -0,0 +1,10 @@
|
|||||||
|
<!DOCTYPE html>
|
||||||
|
<html>
|
||||||
|
<head>
|
||||||
|
<title>redirect</title>
|
||||||
|
<meta http-equiv="refresh" content="0;url=/docs/latest" />
|
||||||
|
</head>
|
||||||
|
<body>
|
||||||
|
|
||||||
|
</body>
|
||||||
|
</html>
|
||||||
@@ -1,31 +1,32 @@
|
|||||||
#!/bin/sh
|
#!/bin/sh
|
||||||
|
|
||||||
# Kludged documentation generator to support multiple versions.
|
# Kludged documentation generator to support multiple versions.
|
||||||
# Make sure the `site` folder is a checkout of this repository's `gh-pages`
|
|
||||||
# branch.
|
|
||||||
|
|
||||||
set -e
|
set -e
|
||||||
|
|
||||||
REMOTE=$(git remote get-url origin)
|
REMOTE=$(git remote get-url origin)
|
||||||
CHECKOUT="$(mktemp -d)"
|
CHECKOUT="$(mktemp -d)"
|
||||||
OUTPUT="$(pwd)/site"
|
OUTPUT="$(pwd)/site/docs"
|
||||||
|
|
||||||
if [ -d site ]
|
if [ -d site ]
|
||||||
then
|
then
|
||||||
cd site
|
cd site
|
||||||
git pull
|
git pull
|
||||||
else
|
else
|
||||||
git clone "$REMOTE" site
|
git clone https://github.com/rojo-rbx/rojo-rbx.github.io site
|
||||||
cd site
|
cd site
|
||||||
git checkout gh-pages
|
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
rm -rf docs
|
||||||
|
mkdir docs
|
||||||
|
cp ../bin/docs-index.html docs/index.html
|
||||||
|
|
||||||
git clone "$REMOTE" "$CHECKOUT"
|
git clone "$REMOTE" "$CHECKOUT"
|
||||||
cd "$CHECKOUT"
|
cd "$CHECKOUT"
|
||||||
|
|
||||||
echo "Building master"
|
echo "Building master"
|
||||||
git checkout master
|
git checkout master
|
||||||
mkdocs build --site-dir "$OUTPUT"
|
mkdocs build --site-dir "$OUTPUT/latest"
|
||||||
|
|
||||||
echo "Building 0.5.x"
|
echo "Building 0.5.x"
|
||||||
mkdocs build --site-dir "$OUTPUT/0.5.x"
|
mkdocs build --site-dir "$OUTPUT/0.5.x"
|
||||||
|
|||||||
Reference in New Issue
Block a user