diff options
| author | Mario Mulansky <mario.mulansky@gmx.net> | 2014-10-24 10:36:59 +0200 |
|---|---|---|
| committer | Mario Mulansky <mario.mulansky@gmx.net> | 2014-10-24 10:36:59 +0200 |
| commit | 7a88fb2ffa6b19059e281fb51d8ac4a1abe3c0d5 (patch) | |
| tree | 0eed5ff2bccd5420ca30ce0861ab4f8c39eef929 | |
| parent | 0261baf17427d854bdd7368e0a4e5ef8c0997d25 (diff) | |
update website script now copies also _modules
| -rwxr-xr-x | doc/update_website | 2 |
1 files changed, 1 insertions, 1 deletions
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 |