Merge branch 'stable/phosphorus'

5f43e960 · Virgile Prevosto · a8819615 · b0aecc4a · 5f43e960 · a8819615
Commit 5f43e960 authored 7 years ago by Virgile Prevosto
--- 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

--- a/src/plugins/e-acsl/doc/refman/eacslversion.tex
+++ b/src/plugins/e-acsl/doc/refman/eacslversion.tex
-\newcommand{\eacslversion}{Phosphorus-20170501-beta1}