In addition to the gratuitous cat removal, the `basename ${dot_doc}` call
is redundant as dot_doc is based on filename which has already been 
"basenamed."

--Brad

*** guile-doc-snarf.in  Tue Jun 20 05:04:23 2000
--- guile-doc-snarf.in.new      Tue Jun 20 05:44:50 2000
***************
*** 28,32 ****
  ## We must use a temporary file here, instead of a pipe, because we
  ## need to know if CPP exits with a non-zero status.
  ${CPP} -DSCM_MAGIC_SNARFER "$@" > ${temp} || exit $?
! cat ${temp} | sed 
's/^\(.\{128\}.\{128\}.\{128\}.\{128\}.\{128\}.\{128\}.\{128\}.\{128\}\).*/\1/g' | \
! ${AWK} -f `dirname $0`/guile-snarf.awk `basename ${dot_doc}`
--- 28,32 ----
  ## We must use a temporary file here, instead of a pipe, because we
  ## need to know if CPP exits with a non-zero status.
  ${CPP} -DSCM_MAGIC_SNARFER "$@" > ${temp} || exit $?
! sed 's/^\(.\{128\}.\{128\}.\{128\}.\{128\}.\{128\}.\{128\}.\{128\}.\{128\}\).*/\1/g' 
${temp} | \
! ${AWK} -f `dirname $0`/guile-snarf.awk ${dot_doc}

Reply via email to