diff --git a/doc/value/makefile b/doc/value/makefile
index 01b7f9053b1dda140a0973bba93923607f0745c6..674a0cc5d30670a872aa9e1219635262c8e78fe3 100644
--- a/doc/value/makefile
+++ b/doc/value/makefile
@@ -11,6 +11,7 @@ OPENSOURCE?=yes
 export OPENSOURCE
 
 main: ../../VERSION *.c
+	$(MAKE) -C examples/parametrizing
 	$(MAKE) $(FRAMAC_MODERN)
 	latexmk -pdf main.tex
 ifeq ($(OPENSOURCE),no)