clean up
This commit is contained in:
parent
099030baeb
commit
332b10998a
1 changed files with 1 additions and 0 deletions
1
Makefile
1
Makefile
|
@ -50,6 +50,7 @@ update_doxygen_online:
|
||||||
git checkout gh-pages
|
git checkout gh-pages
|
||||||
rm -fr html
|
rm -fr html
|
||||||
mv /tmp/github-html html
|
mv /tmp/github-html html
|
||||||
|
cd html ; git rm $(git ls-files --deleted)
|
||||||
git commit -m "Doxygen update"
|
git commit -m "Doxygen update"
|
||||||
git checkout master
|
git checkout master
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue