Makefile: explicit the dependency to the final pdf