#! /bin/sh # $Id$ # # This script generates automatically to its stdout a windex.html file; # this file is useful just after running man2html. # All the html man pages must be located under an html directory at the # same level as the generated windex.html file. WINDEX=$1 cat <

ACE Manual Page Index

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