From 9701906341912fbb4ccf98041dd29f555422f5d9 Mon Sep 17 00:00:00 2001 From: Sebastian Hugentobler Date: Thu, 11 Apr 2013 15:56:38 +0200 Subject: [PATCH] Cleaned up Makefile --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index f547958..005e2a4 100644 --- a/Makefile +++ b/Makefile @@ -39,6 +39,6 @@ $(GITINFO): FORCE echo "\\newcommand{\\revision}{$(OUTPUT)}" > $(GITINFO) clean: - rm -rf $(OUTDIR) + rm -rf $(OUTDIR) FORCE: