Re: [O] [PATCH] org.texi: Replace broken example script for batch execution

2016-04-09 Thread Nicolas Goaziou
Hello, Ethan Ligon writes: > There is an example bash script in section 14.12 of the org manual which > is meant to tangle source blocks from a supplied list of org files. > > The present version is broken in several small ways (it appears to date > from a period when babel was still part of co

[O] [PATCH] org.texi: Replace broken example script for batch execution

2016-04-07 Thread Ethan Ligon
There is an example bash script in section 14.12 of the org manual which is meant to tangle source blocks from a supplied list of org files. The present version is broken in several small ways (it appears to date from a period when babel was still part of contrib), and requires a hard-coded speci