fix: updating pushdoc.sh

To work with github pages. Also changes the generation of the
evg-usage pdf to use pdflatex.

scripts/pushdoc.sh

@@ -13,10 +13,16 @@ die() {
 builddoc() {
   doxygen
   lyx -batch -e pdf evr-usage.lyx
-  lyx -batch -e pdf evg-usage.lyx
+  lyx -batch -e pdflatex evg-usage.lyx
+  pdflatex evg-usage
   mv evg-usage.pdf evr-usage.pdf html/
 }
 
 (cd documentation && builddoc)
 
-rsync -av --delete "$@" documentation/html/ $USER,[email protected]:/home/project-web/epics/htdocs/mrfioc2/
+git checkout gh-pages
+cp -r documentation/html/* .
+rm -rf documentation
+git add .
+git commit -m "Last updates to documentation"
+git push origin gh-pages