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