diff --git a/Makefile b/Makefile index 85bdcf24..79a7073f 100644 --- a/Makefile +++ b/Makefile @@ -57,5 +57,6 @@ accept-corrections: cp $$i $${i/.corrected}; \ done +.DEFAULT_GOAL := default .PHONY: default install uninstall reinstall clean test doc .PHONY: accept-corrections