From 0261baf17427d854bdd7368e0a4e5ef8c0997d25 Mon Sep 17 00:00:00 2001 From: Mario Mulansky Date: Fri, 24 Oct 2014 10:28:51 +0200 Subject: renamed update website script --- doc/copy_html | 12 ------------ doc/update_website | 12 ++++++++++++ 2 files changed, 12 insertions(+), 12 deletions(-) delete mode 100755 doc/copy_html create mode 100755 doc/update_website diff --git a/doc/copy_html b/doc/copy_html deleted file mode 100755 index 1be8f05..0000000 --- a/doc/copy_html +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/bash - -git checkout gh-pages -rc=$? -if [[ $rc != 0 ]] ; then - exit $rc -fi -cp -r _build/html/*.html _build/html/*.js _build/html/_static ../ -echo "html files copied" -git commit -am"website update" -git push -git checkout master diff --git a/doc/update_website b/doc/update_website new file mode 100755 index 0000000..1be8f05 --- /dev/null +++ b/doc/update_website @@ -0,0 +1,12 @@ +#!/bin/bash + +git checkout gh-pages +rc=$? +if [[ $rc != 0 ]] ; then + exit $rc +fi +cp -r _build/html/*.html _build/html/*.js _build/html/_static ../ +echo "html files copied" +git commit -am"website update" +git push +git checkout master -- cgit v1.2.3