[GH-PAGES] Added small script to automatically update website (assuming

it's been compiled in master)
This commit is contained in:
Philippe Tillet
2021-03-06 22:09:04 -05:00
parent 32aaf8b469
commit 7a7ed5da3b

10
update-website.sh Normal file
View File

@@ -0,0 +1,10 @@
rm -r /tmp/triton-docs;
mkdir /tmp/triton-docs;
cp -r CNAME /tmp/triton-docs/
cp -r .nojekyll /tmp/triton-docs/
cp -r update-website.sh /tmp/triton-docs/
cp -r docs/_build/html/* /tmp/triton-docs/
rm -r *
cp -r /tmp/triton-docs/* .
git add .
git commit -am "[GH-PAGES] Updated website"