diff --git a/Makefile b/Makefile index 4fc0260..463b410 100644 --- a/Makefile +++ b/Makefile @@ -36,7 +36,7 @@ $(PDFDIR): mkdir -p $(PDFDIR) $(GITINFO): FORCE - echo "\\newcommand{\\revision}{$(REVISIONINFO)}" > $(GITINFO) + /bin/echo "\\newcommand{\\revision}{$(REVISIONINFO)}" > $(GITINFO) clean: rm -rf $(OUTDIR)