diff --git a/Makefile b/Makefile index 004b752db..adc3abf2f 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ DIRS = texvc texvccheck -.PHONY: all +.PHONY: all texvccheck all: texvc texvccheck