l...@gnu.org (Ludovic Courtès) writes: > Here's a patch. > > Likewise, ‘pmccabe2html’ assumes /usr/bin/awk, but I’m not sure what to > do here:
See the documentation in pmccabe2html -- the recommended way to use the script is already using $(AWK). So I don't think there is any problem, is there? > - ‘gl_PMCCABE2HTML’ does ‘AC_PROG_AWK’, so we could substitute @AWK@ > in there. That leads to having a pmccabe2html.in which is somewhat annoying. > - OTOH, ‘pmccabe2html’ is typically a maintainer script, so I’d rather > remove ‘AC_PROG_AWK’ and do something similar to the patch below. Will that work of invoked with 'awk -f pmccabe2html'? /Simon
