diff --git a/src/plugins/e-acsl/doc/refman/Makefile b/src/plugins/e-acsl/doc/refman/Makefile
index cc121c29657b5939b0ba3bd58f51f95ecfbe6093..e70b77cb105dfb58b8cbefb199ecbef3ffa6c8dd 100644
--- a/src/plugins/e-acsl/doc/refman/Makefile
+++ b/src/plugins/e-acsl/doc/refman/Makefile
@@ -52,7 +52,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