diff --git a/src/plugins/e-acsl/doc/refman/Makefile b/src/plugins/e-acsl/doc/refman/Makefile
index 2746df6846d7f39df49c85c7cf5c3f277a3e8f5b..dfcd08c4719c801628d922dbe77ee2ca414a9cbd 100644
--- a/src/plugins/e-acsl/doc/refman/Makefile
+++ b/src/plugins/e-acsl/doc/refman/Makefile
@@ -56,7 +56,7 @@ include $(EACSL_DIR)/doc/support/MakeLaTeXModern
 
 eacslversion.tex: Makefile $(VERSION_FILE)
 	rm -f $@
-	echo '\\newcommand{\\eacslversion}{$(EACSL_VERSION)}' > $@
+	printf '\\newcommand{\\eacslversion}{$(EACSL_VERSION)}' > $@
 	chmod a-w $@
 
 .PHONY: clean
diff --git a/src/plugins/e-acsl/doc/refman/eacslversion.tex b/src/plugins/e-acsl/doc/refman/eacslversion.tex
deleted file mode 100644
index a59b2e01486e1a8e226388e0b6735e6b3593c304..0000000000000000000000000000000000000000
--- a/src/plugins/e-acsl/doc/refman/eacslversion.tex
+++ /dev/null
@@ -1 +0,0 @@
-\newcommand{\eacslversion}{Phosphorus-20170501-beta1}