[O] [Babel] Inaccuracy in Sec. 14.8.2.13 `:noweb' of the manual

2013-07-04 Thread Christophe Pouzat
Hi all, There seems to be a wrong statement in the description of the value 'strip-export' of header :noweb (Sec. 14.8.2.13) of the manual: `strip-export' "Noweb" syntax references in the body of the code block will be expanded before the block is evaluated or tangled. However, "noweb"

Re: [O] [Babel] Inaccuracy in Sec. 14.8.2.13 `:noweb' of the manual

2013-07-04 Thread Sebastien Vauban
Hello Christophe, Christophe Pouzat wrote: There seems to be a wrong statement in the description of the value strip-export' of header :noweb (Sec. 14.8.2.13) of the manual: `strip-export' Noweb syntax references in the body of the code block will be expanded before the block is

Re: [O] [Babel] Inaccuracy in Sec. 14.8.2.13 `:noweb' of the manual

2013-07-04 Thread Eric Schulte
Sebastien Vauban sva-n...@mygooglest.com writes: Hello Christophe, Christophe Pouzat wrote: There seems to be a wrong statement in the description of the value strip-export' of header :noweb (Sec. 14.8.2.13) of the manual: `strip-export' Noweb syntax references in the body of the code