diff --git a/src/plugins/e-acsl/doc/Makefile.common b/src/plugins/e-acsl/doc/Makefile.common
index 98ee1d0d781dd6339e17776ef4d08bca27c3c2e8..401488851dffe90acdef46c2121e429d115d41c2 100644
--- a/src/plugins/e-acsl/doc/Makefile.common
+++ b/src/plugins/e-acsl/doc/Makefile.common
@@ -1,7 +1,9 @@
 # Common makefile for both refman and userman
 
 VERSION_FILE=$(wildcard ../../../../../VERSION)
+CODENAME_FILE=$(wildcard ../../../../../VERSION_CODENAME)
 EACSL_VERSION=$(shell cat $(VERSION_FILE))
+EACSL_CODENAME=$(shell cat $(CODENAME_FILE))
 FC_VERSION=$(shell cat $(VERSION_FILE))
 
 include $(EACSL_DIR)/doc/support/MakeLaTeXModern
@@ -10,9 +12,10 @@ include $(EACSL_DIR)/doc/support/MakeLaTeXModern
 # Generic rules #
 #################
 
-eacslversion.tex: Makefile $(VERSION_FILE)
+eacslversion.tex: Makefile $(VERSION_FILE) $(CODENAME_FILE)
 	rm -f $@
 	printf '\\newcommand{\\eacslpluginversion}{$(EACSL_VERSION)\\xspace}\n' > $@
+	printf '\\newcommand{\\eacslplugincodename}{$(EACSL_CODENAME)\\xspace}\n' >> $@
 	printf '\\newcommand{\\fcversion}{$(FC_VERSION)\\xspace}\n' >> $@
 	chmod a-w $@
 
diff --git a/src/plugins/e-acsl/doc/userman/main.tex b/src/plugins/e-acsl/doc/userman/main.tex
index 3e3ce0bed39c979dc76141f7ab804793b492fd88..746d1444a183830b0a0579fa2694c3697e0d7f74 100644
--- a/src/plugins/e-acsl/doc/userman/main.tex
+++ b/src/plugins/e-acsl/doc/userman/main.tex
@@ -17,7 +17,7 @@
 \includegraphics[height=14mm]{cealistlogo.jpg}
 \end{flushleft}
 \vfill
-\title{\eacsl Plug-in}{Release \eacslpluginversion
+\title{\eacsl Plug-in}{Release \eacslpluginversion (\eacslplugincodename)
  \ifthenelse{\equal{\eacslpluginversion}{\fcversion}}{}{%
    \\[1em] compatible with \framac \fcversion}}
 \author{Julien Signoles, Basile Desloges and Kostyantyn Vorobyov}