rojo-rbx/rojo
1
0
Fork 1
mirror of https://github.com/rojo-rbx/rojo.git synced 2026-04-22 13:45:16 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove old docs scripts and update links to new repo

Browse Source
This commit is contained in:
Lucien Greathouse
2019-07-02 15:35:29 -07:00
parent aa3e43207f
commit 714fb10fac
4 changed files with 66 additions and 112 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
bin/docs-index.html
View File

@@ -1,10 +0,0 @@
<!DOCTYPE html>
<html>
<head>
<title>redirect</title>
<meta http-equiv="refresh" content="0;url=/docs/latest" />
</head>
<body>
</body>
</html>

36
bin/generate-docs
View File

@@ -1,36 +0,0 @@
#!/bin/sh
# Kludged documentation generator to support multiple versions.
set -e
REMOTE=$(git remote get-url origin)
CHECKOUT="$(mktemp -d)"
OUTPUT="$(pwd)/site/docs"
if [ -d site ]
then
cd site
git pull
else
git clone https://github.com/rojo-rbx/rojo-rbx.github.io site
cd site
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/latest"
echo "Building 0.5.x"
mkdocs build --site-dir "$OUTPUT/0.5.x"
echo "Building 0.4.x"
git checkout v0.4.x
mkdocs build --site-dir "$OUTPUT/0.4.x"