#! /bin/sh # $1 is the top of the manual page tree to look through dir=$1 cd $dir for m in `find . -name '*.html' | sort`; do description=`grep -F '||'` # If there isn't a description, it isn't a manpage and should not be # included if [ "$description" = "" ]; then continue fi manfile=`echo $m | sed -e 's|\./||'` manname=`basename $manfile .html` origmanfile=`echo $manfile | sed -e "s|^$subdir|$origsubdir|"` echo "$manname$description" done