#!/bin/sh # # Copyright © 2000 by Precision Insight, Inc. # # Generate index files for the HTML man pages # # Author: David Dawes # VOLLIST="1 2 3 4 5 6 7 8 9 o l n p" INDEX="manindex" if [ $# != 1 ]; then echo Usage: $0 htmlmandir exit 1 fi if [ ! -d $1 ]; then echo $1 is not a directory exit 1 fi cd $1 for s in $VOLLIST; do list="`ls *.$s.html 2> /dev/null`" || : # ignore failed glob expansion if [ X"$list" != X ]; then file=$INDEX$s.html rm -f $file cat < $file X.Org Manual pages: Section $s

X.Org Manual pages: Section $s

//'`" echo "

$name - $desc

> $file

EOF fi done exit 0