From d200abfb5f0e2265a743b1c09081962f8a4e09ef Mon Sep 17 00:00:00 2001 From: Niels Date: Sun, 21 Jun 2015 12:47:35 +0200 Subject: [PATCH] automatic commit --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index 4d9e5b8f2..c9a94602e 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