From a044b29ce1f9116217218410b052c8653adaddcb Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 10 Jun 2020 18:35:37 +0200
Subject: [PATCH] [E-ACSL] add missing dependency in man makefile
---
src/plugins/e-acsl/doc/Makefile.common | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/doc/Makefile.common b/src/plugins/e-acsl/doc/Makefile.common
index 2fdcb5e52a3..98ee1d0d781 100644
--- a/src/plugins/e-acsl/doc/Makefile.common
+++ b/src/plugins/e-acsl/doc/Makefile.common
@@ -10,7 +10,7 @@ include $(EACSL_DIR)/doc/support/MakeLaTeXModern
# Generic rules #
#################
-eacslversion.tex: Makefile
+eacslversion.tex: Makefile $(VERSION_FILE)
rm -f $@
printf '\\newcommand{\\eacslpluginversion}{$(EACSL_VERSION)\\xspace}\n' > $@
printf '\\newcommand{\\fcversion}{$(FC_VERSION)\\xspace}\n' >> $@
--
GitLab