Skip to content

Commit

Permalink
fix: Update pusdoc.sh to use github pages
Browse files Browse the repository at this point in the history
  • Loading branch information
gabrielfedel committed Jan 25, 2024
1 parent 8af8069 commit efa3485
Showing 1 changed file with 6 additions and 1 deletion.
7 changes: 6 additions & 1 deletion scripts/pushdoc.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit efa3485

Please sign in to comment.