On 2009-08-09 19:25:49 +0200, Rocco Rutte wrote: > Uh, how embarrassing. I don't know what I was hitting to make this slip > in... sorry. Pushed, thanks.
This change is incorrect too: @@ -4370,7 +4370,7 @@ <para> If the filename ends with a vertical bar (<quote>|</quote>), then <emphasis>filename</emphasis> is considered to be an executable program -from which to read input (eg. <literal><command>source</command> +from which to read input (em. <literal><command>source</command> ~/bin/myscript|</literal>). </para> I suppose it should be "e.g.". -- Vincent Lefèvre <[email protected]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon)
