Browse Source

Makefile

pull/198/head
Eugenio Parodi 2 years ago
parent
commit
75e761637c
  1. 4
      Makefile

4
Makefile

@ -84,9 +84,9 @@ deployDoc:
git checkout gh-pages
# Update the doc files
rm -rf *.inv *.html *.js _* autogen.* tutorial
rm -rf *.inv *.html *.js _* autogen.* tutorial info
cp -a docs/build/html/* .
find *.html *.inv *.js autogen.TermTk _* tutorial | xargs git add
find *.html *.inv *.js autogen.TermTk _* tutorial info | xargs git add
git commit -m "Doc Updated"
git push origin gh-pages

Loading…
Cancel
Save