diff --git a/update-website.sh b/update-website.sh new file mode 100644 index 000000000..6dfa37896 --- /dev/null +++ b/update-website.sh @@ -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" \ No newline at end of file