diff --git a/Makefile b/Makefile index 43dd8ff2b..704b3d6df 100644 --- a/Makefile +++ b/Makefile @@ -501,4 +501,4 @@ static-check: doc: make -C doc -.PHONY: test doc +.PHONY: all clean doc test update