diff --git a/Makefile b/Makefile index 4d9e5b8f..c9a94602 100644 --- a/Makefile +++ b/Makefile @@ -50,6 +50,7 @@ update_doxygen_online: git checkout gh-pages rm -fr html mv /tmp/github-html html + git commit -m "Doxygen update" git checkout master # create scanner with re2c