From 57ef76e43c28ffb6d6d55c2daf1e10e6a3061e2b Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Wed, 19 Jun 2019 16:41:25 +0200
Subject: [PATCH] [Eva] Compile examples before building doc

---
 doc/value/makefile | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/value/makefile b/doc/value/makefile
index 01b7f9053b1..674a0cc5d30 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)
-- 
GitLab