cp manpages.tex manpages.tex.BAK
(echo '\input manualMacros.tex'; \
   echo '\tolerance=1000'; \
   echo '\manFontStyle{times}'; \
   echo '\manOpenIndex'; \
   egrep -l "manPageInfo{RCI Reference Manual}" \
	 ../../man/tex[1357]/*.tex | sort -f +0.15 \
	 | sed 's/^/\\manInput{/' | sed 's/$/}/' && \
   echo '\end' ; \
   echo '\bye' ) > manpages.tmp
mv manpages.tmp manpages.tex
