From 5ecc056e3c0d04757e845822510414717b10dac6 Mon Sep 17 00:00:00 2001 From: Robert Dodier Date: Sat, 27 May 2023 12:58:25 -0700 Subject: [PATCH] In script to build HTML docs, replace awk pattern with POSIX character class with equivalent formulation in terms of egrep and awk without pattern. There is at least one awk implementation in the wild (mawk) which appears to be a default on Debian and Ubuntu systems, which does not recognize POSIX character classes. This commit is an attempt to work around the behavior of mawk. --- doc/info/build_html.sh.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/info/build_html.sh.in b/doc/info/build_html.sh.in index 89917eb45..8ea560816 100755 --- a/doc/info/build_html.sh.in +++ b/doc/info/build_html.sh.in @@ -46,7 +46,7 @@ includerfile=include-maxima.texi # Extract all filenames that are included using @include commands in the order # they are included -includedfiles=`@AWK@ '/^[[:space:]]*@include/ { print $NF; }' $includerfile` +includedfiles=`@EGREP@ '^[[:space:]]*@include' $includerfile | @AWK@ '{ print $NF; }'` # If output dir exists, remove it so we start clean if [ -d tmp_html ]; then -- 2.11.4.GIT