[e-acsl/doc] fix Frama-C version

src/plugins/e-acsl/doc/Makefile.common

@@ -16,7 +16,8 @@ eacslversion.tex: Makefile $(VERSION_FILE) $(CODENAME_FILE)
 	rm -f $@
 	printf '\\newcommand{\\eacslpluginversion}{$(EACSL_VERSION)\\xspace}\n' > $@
 	printf '\\newcommand{\\eacslplugincodename}{$(EACSL_CODENAME)\\xspace}\n' >> $@
-	printf '\\fcversion{$(FC_VERSION)\\xspace}\n' >> $@
+	printf '\\newcommand{\\framacversion}{$(FC_VERSION)\\xspace}\n' >> $@
+	printf '\\fcversion{\\framacversion}\n' >> $@
 	chmod a-w $@
 
 %.1: %.mp

src/plugins/e-acsl/doc/userman/main.tex

@@ -16,10 +16,10 @@
 \acknowledge{Pierre-Lo\"ic Garoche}
 \acknowledge{Jens Gerlach}
 \acknowledge{Florent Kirchner}
-\acknowledge{Nikola\"i Kosmato}
+\acknowledge{Nikola\"i Kosmatov}
 \acknowledge{Andr\'e Maroneze}
 \acknowledge{Fonenantsoa Maurica}
-\acknowledge{Guillaume Petio}
+\acknowledge{Guillaume Petiot}
 
 \cclicence{by-sa}
 \copyrightstarts{2013}
@@ -40,7 +40,7 @@
 This is the user manual of the \framac plug-in
 \eacsl\footnote{\url{https://frama-c.com/fc-plugins/e-acsl.html}}. The contents
 of this document correspond to its version \eacslpluginversion compatible with
-\fcversion{} version of \framac~\cite{userman,baudin21cacm}. The development of
+version \framacversion{} of \framac~\cite{userman,baudin21cacm}. The development of
 the \eacsl plug-in is still ongoing.  Features described by this document may
 evolve in the future.