If this question goes to me then I say, that I simply said apt-get install nowebm on my Debian Sarge machine. Ralf root wrote: > when you generated noweb did you specify awk, gawk, or nawk? > > t