diff --git a/scripts/pushdoc.sh b/scripts/pushdoc.sh index a6f9681..c0d6b50 100755 --- a/scripts/pushdoc.sh +++ b/scripts/pushdoc.sh @@ -12,4 +12,9 @@ die() { (cd documentation && doxygen) -rsync -av --delete documentation/doc/html/ $USER,epics@frs.sourceforge.net:/home/project-web/epics/htdocs/devlib2/ +git checkout gh-pages +cp -r documentation/doc/html/* . +rm -rf documentation +git add . +git commit -m "Last updates to documentation" +git push origin gh-pages