#!/bin/sh # $Id$ # Author: Ossama Othman # This script generates an HTML windex file from a given list of man pages. # It is meant to be a replacement for platforms that do not have a # "catman -w" equivalent command. No intermediate windex file is necessary. # SED ans AWK expressions derived from man2html related scripts in the # same directory this script is found in. set -e HTML_WINDEX="acewindex.html" echo Generating ACE HTML manual page index: $HTML_WINDEX. rm -f $HTML_WINDEX cat > $HTML_WINDEX < ACE Manual Page Index

ACE Manual Page Index

This file has been generated from the manual pages in the ACE package and it contains a list of pointers to the manual pages generated by the OSE documentation tools.

\1

^g' \ -e 's^\\f(CO^^g' \ -e 's^\\fI^^g' \ -e 's^\\f[RP]^

/' \ -e 's$^\.RE.*$

$entry $description

EOF echo Last modified: `date` >> $HTML_WINDEX cat >> $HTML_WINDEX < EOF