diff --git a/doc/value/makefile b/doc/value/makefile
index e7799466cb4418291ff270fac8d4dffb0086d3d9..565c542208f2919c01399417d2debe5a3105253b 100644
--- a/doc/value/makefile
+++ b/doc/value/makefile
@@ -1,6 +1,6 @@
-all: main
+all: main.pdf
 
-.PHONY: main
+.PHONY: main.pdf
 
 include ../MakeLaTeXModern
 
@@ -8,7 +8,7 @@ include ../MakeLaTeXModern
 OPENSOURCE?=yes
 export OPENSOURCE
 
-main: ../../VERSION examples/**.c
+main.pdf: ../../VERSION examples/**.c
 	$(MAKE) -C examples/parametrizing
 	$(MAKE) $(FRAMAC_MODERN)
 	latexmk -pdf main.tex