Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
executable file 36 lines (26 sloc) 801 Bytes
# The website is built using MkDocs with the Material theme.
# It requires Python to run.
# Install the packages with the following command:
# pip install mkdocs mkdocs-material
set -ex
# Delete any existing temporary website clone
rm -rf $DIR
# Clone the current repo into temp folder
git clone $REPO $DIR
# Move working directory into temp folder
cd $DIR
# Generate the API docs
./gradlew \
# Copy in special files that GitHub wants in the project root.
cat | grep -v 'project website' > docs/
cp docs/
# Build the site and push the new files up to GitHub
mkdocs gh-deploy
# Delete our temp folder
cd ..
rm -rf $DIR
You can’t perform that action at this time.