https://github.com/ckaestne/TypeChef
Tip revision: 234aa1c66bb0999a5c1065e556e9bde9802ee3b5 authored by Christian Kästner on 07 September 2021, 13:51:45 UTC
fix github links
fix github links
Tip revision: 234aa1c
genpages.sh
#updates the website with README.md file and a fresh typechef.jar file
#checkout fresh (if needed)
mkdir pages
cd pages
git clone -s -b gh-pages .. TypeChef
cd TypeChef
git checkout gh-pages -f
git reset --hard
#deploy
cd ../..
cp README.md pages/TypeChef/_includes/README.md
if [ $1 = "--mkjar" ]
then sbt assembly; cp TypeChef-*.jar pages/TypeChef/deploy
else echo not updating .jar file. call with --mkjar parameter to generate .jar file
fi
#update parameter documentation
sbt mkrun
./typechef.sh --help > Parameter.txt
git commit -m "update parameter list with genpages.sh" Parameter.txt
cd pages/TypeChef
#commit
git add *
git commit -a -m "update website with genpages.sh"
git push origin gh-pages
#cleanup
#cd ../..
#rm -r -f pages