From 022c11bf86378ee2bb33fe9e88a8c56413a5812b Mon Sep 17 00:00:00 2001 From: Niels Date: Sun, 21 Jun 2015 12:48:18 +0200 Subject: [PATCH] broke Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index c9a94602..cd81eaae 100644 --- a/Makefile +++ b/Makefile @@ -50,7 +50,7 @@ update_doxygen_online: git checkout gh-pages rm -fr html mv /tmp/github-html html - git commit -m "Doxygen update" + git commit -m "Doxygen update" git checkout master # create scanner with re2c