diff --git a/Makefile b/Makefile index de81031..4f8861a 100644 --- a/Makefile +++ b/Makefile @@ -342,7 +342,7 @@ tag: .PHONY: all -all: pdf +all: pdf DEPENDS.txt # - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -