On mer, 2009-08-05 at 11:11 -0500, Raphael Geissert wrote:
> Yes:
>
> printf "%s\n" "\begin{document}"
>
> $ bash -c 'printf "%s\n" "\begin{document}"'
> \begin{document}
> $ dash -c 'printf "%s\n" "\begin{document}"'
> \begin{document}Thanks! Will submit that upstream and include it in our builds. Cheers, -- Yves-Alexis -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
