mirror of
https://github.com/wren-lang/wren.git
synced 2026-01-11 22:28:45 +01:00
@ -1,13 +1,21 @@
|
||||
#!/bin/bash
|
||||
set -e
|
||||
|
||||
WREN_PY="python3"
|
||||
if [ -n "$WREN_PY_BINARY" ]
|
||||
then
|
||||
WREN_PY="$WREN_PY_BINARY"
|
||||
fi
|
||||
|
||||
# Install the Wren Pygments lexer.
|
||||
cd util/pygments-lexer
|
||||
sudo python3 setup.py develop
|
||||
sudo $WREN_PY setup.py develop
|
||||
cd ../..
|
||||
|
||||
# Build the docs.
|
||||
make gh-pages
|
||||
mkdir -p build
|
||||
$WREN_PY ./util/generate_docs.py
|
||||
cp -r build/docs/. build/gh-pages
|
||||
|
||||
# Clone the repo at the gh-pages branch.
|
||||
git clone https://${GH_TOKEN}@github.com/${TRAVIS_REPO_SLUG} gh-pages-repo \
|
||||
|
||||
Reference in New Issue
Block a user