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"
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
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