[Axiom-developer] Re: noweb "bug" (was: article "standard" header/footer)

[Ralf Hemmecke]

By the way, try the following in AXIOMROOT.

find . -name '*.pamphlet' -exec grep "<<.*>>" {} \; > xxx.1
grep -v ">>= *$" xxx.1 > xxx.2
grep -v ">> *$"  xxx.2 > xxx.3
grep -v "@<<"    xxx.3 > xxx.4
wc xxx.4
  86  472 4836 xxx.4

Look at these 86 lines. I've only found

Label:          '<<' Name '>>' ;

(which is from ./src/interp/fnewmeta.lisp.pamphlet)
where Tim's problem occurs. So do we have the noweb patch just for this 
line?

Ralf