--- trunk/mage/usr/lib/mage/mkinfodir 2023/07/31 09:34:28 3183 +++ trunk/mage/usr/lib/mage/mkinfodir 2023/07/31 09:34:56 3184 @@ -51,7 +51,7 @@ fi # sanity checks -for cmd in sed awk zcat ls grep egrep wc expr fgrep sort tr cut +for cmd in sed awk zcat ls grep wc expr sort tr cut do if [[ -z $(type -P ${cmd}) ]] then @@ -135,7 +135,7 @@ ### then generate entries for those in the same way, putting the info for ### those at the end.... -infofiles=$(cd ${INFODIR}; /bin/ls | grep -v '\-[0-9]*\.gz$' | grep -v '\-[0-9]*$' | egrep -v '^dir$|^dir\.info$|^dir\.orig$') +infofiles=$(cd ${INFODIR}; /bin/ls | grep -v '\-[0-9]*\.gz$' | grep -v '\-[0-9]*$' | grep -E -v '^dir$|^dir\.info$|^dir\.orig$') # echoing gets clobbered by backquotes; we do it the hard way... lines=$(wc ${SKELETON} | awk '{print $1}') @@ -243,7 +243,7 @@ # Sort remaining files by INFO-DIR-SECTION. prevsect= -filesectdata=$(cd ${INFODIR}; fgrep INFO-DIR-SECTION /dev/null ${infofiles} | fgrep -v 'INFO-DIR-SECTION Miscellaneous' | sort -t: -k2 -k1 | tr ' ' '_') +filesectdata=$(cd ${INFODIR}; grep -F INFO-DIR-SECTION /dev/null ${infofiles} | grep -F -v 'INFO-DIR-SECTION Miscellaneous' | sort -t: -k2 -k1 | tr ' ' '_') for sectdata in ${filesectdata} do file=$(echo ${sectdata} | cut -d: -f1)