From 1520a4b2cb69036152c836865a3610cac900d8bd Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 11 May 2020 14:24:57 +0200
Subject: [PATCH] [Doc] Fix target name in Eva manual makefile

---
 doc/value/makefile | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/value/makefile b/doc/value/makefile
index e7799466cb4..565c542208f 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
-- 
GitLab