From 7a88fb2ffa6b19059e281fb51d8ac4a1abe3c0d5 Mon Sep 17 00:00:00 2001 From: Mario Mulansky Date: Fri, 24 Oct 2014 10:36:59 +0200 Subject: update website script now copies also _modules --- doc/update_website | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'doc') diff --git a/doc/update_website b/doc/update_website index 1be8f05..dc73f49 100755 --- a/doc/update_website +++ b/doc/update_website @@ -5,7 +5,7 @@ rc=$? if [[ $rc != 0 ]] ; then exit $rc fi -cp -r _build/html/*.html _build/html/*.js _build/html/_static ../ +cp -r _build/html/*.html _build/html/*.js _build/html/_static _build/html/_modules ../ echo "html files copied" git commit -am"website update" git push -- cgit v1.2.3