Merge branch 'bugfix/julien/userman-foreword' into 'master'

[e-acsl] fix userman's foreword

See merge request frama-c/frama-c!4385

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

@@ -32,9 +32,8 @@ $(MAIN).pdf: $(DEPS_MODERN) $(FRAMAC_MODERN)
 .PHONY: clean
 clean:
 	rm -rf *~ *.aux *.log *.nav *.out *.snm *.toc *.lof *.pp *.bnf \
-		*.haux  *.hbbl *.htoc \
-                *.cb *.cm? *.bbl *.blg *.idx *.ind *.ilg \
-		transf trans.ml pp.ml pp
+		*.haux  *.hbbl *.htoc *.cb *.cm? *.bbl *.blg *.idx *.ind *.ilg \
+		transf trans.ml pp.ml pp eacslversion.tex
 
 super-clean: clean
 	rm -f $(MAIN).pdf