From ebf1e7a77771cc1f420d3b5c985d7ee8e5bef57e Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Tue, 12 May 2020 09:52:31 +0200
Subject: [PATCH] [Doc/Userman] Normalize main target name

---
 doc/userman/Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/userman/Makefile b/doc/userman/Makefile
index 10da7862cad..5715ebd8a71 100644
--- a/doc/userman/Makefile
+++ b/doc/userman/Makefile
@@ -17,8 +17,8 @@ else
   SILENT = -silent
 endif
 
-all: pdf
-pdf: $(TARGET).tex $(FRAMAC_MODERN)
+all: $(TARGET).pdf
+$(TARGET).pdf: $(TARGET).tex $(FRAMAC_MODERN)
 	latexmk $(SILENT) -f -pdf $<
 
 install:
-- 
GitLab