From 7a7ed5da3bdf4a82a35e84c73a497bef1101043b Mon Sep 17 00:00:00 2001 From: Philippe Tillet Date: Sat, 6 Mar 2021 22:09:04 -0500 Subject: [PATCH] [GH-PAGES] Added small script to automatically update website (assuming it's been compiled in master) --- update-website.sh | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 update-website.sh 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