| If for the bootstrapping file configure.ac.pamplet (that should be
| enough?) we restrict to just several code chunks of the form
|
| <<*>>=
| code here
| @
| ...
| <<*>>=
| other code
| @
|
| All these <<*>> chunks are linearly concatenated by notangle to give
| the final output.
Yes, that is what I implemented in configure.ac.pamphlet.
| For that simple task, I am sure that it is not too
| difficult to write a sed or awk script.
If you have that script, I'll drop my objection -- because it means
our bootstrapping dependency is much weaker, i.e. only traditional
tools.