diff options
Diffstat (limited to 'tools/update_docs')
-rwxr-xr-x | tools/update_docs | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/tools/update_docs b/tools/update_docs new file mode 100755 index 00000000..113fe39e --- /dev/null +++ b/tools/update_docs @@ -0,0 +1,27 @@ +#!/usr/bin/env bash + +printf "running doxygen on all files in %s: " $( pwd ) +doxygen ./docs/Doxyfile >/dev/null 2>&1 +printf "Done\n" +printf "cloning gh-pages from git@github.com:ymherklotz/YAGE: " +git clone -b gh-pages git@github.com:ymherklotz/YAGE >/dev/null 2>&1 +printf "Done\n" +printf "updating repository: " +cd YAGE/ >/dev/null 2>&1 +git rm -rf * >/dev/null 2>&1 +mv ../html/* . >/dev/null 2>&1 +rm -rf ../html >/dev/null 2>&1 +printf "Done\n" +printf "adding files: " +git add -A >/dev/null 2>&1 +printf "Done\n" +printf "commiting files: " +git commit -a -m 'Updating docs' >/dev/null 2>&1 +printf "Done\n" +printf "pushing commit: " +git push origin gh-pages >/dev/null 2>&1 +printf "Done\n" +printf "cleaning up files: " +cd .. >/dev/null 2>&1 +rm -rf YAGE >/dev/null 2>&1 +printf "Done\n" |