[doc] remove generated file 'eacslversion.tex'

src/plugins/e-acsl/doc/userman/Makefile

@@ -89,3 +89,4 @@ clean:
 		*.haux  *.hbbl *.htoc \
                 *.cb* *.cm? *.bbl *.blg *.idx *.ind *.ilg \
 		transf trans.ml pp.ml pp
+	rm -f eacslversion.tex

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

-\newcommand{\eacslversion}{0.5\xspace}
-\newcommand{\fcversion}{Sodium\xspace}