'dash' the sh shell on debian systems does not respect/support

echo -e. The escape sequence was not putting \end into the document.

To avoid compatibility issues between 'dash' and a real 'sh'
we will use printf

diff --git a/doc/adminguide/Makefile b/doc/adminguide/Makefile
index 38bbaf26f1139accce2ab8f2c6047eb88d4ebeae..f94148bff65eb3f677b73141dbe3555d50fc385e 100644 (file)
--- a/doc/adminguide/Makefile
+++ b/doc/adminguide/Makefile
@@ -146,7 +146,7 @@ endif
        #  We drop bad lines "\end{document}" generated by dblatex
        grep -vE '^(\\end{document}|\\subsection\*)$$' slony-tmp.tex > slony.tex
        # We put the required '\end{document}' at the end of the Tex file
-       echo "\end{document}" >>  slony.tex
+       printf '\\end{document}' >>  slony.tex
        # Latex required to run the following command 3 times in order to generating the TOC of the document
        pdflatex slony.tex
        pdflatex slony.tex