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: