diff options
-rwxr-xr-x | bin/html-windex | 26 |
1 files changed, 18 insertions, 8 deletions
diff --git a/bin/html-windex b/bin/html-windex index 2a80ae85f6b..8047593ade5 100755 --- a/bin/html-windex +++ b/bin/html-windex @@ -1,21 +1,31 @@ -#!/bin/sh +#! /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 <<EOF - <!-- This is an automatically generated file. Do Not Edit! - Use windex2html to generate it --> - <center><h1>ACE Wrappers Man Pages Index</h1></center> + <!-- This is an automatically generated file. Do Not Edit! + Use html-windex to generate it --> + <center><h1>ACE Manual Page Index</h1></center> +<BODY text = "#000000" +link="#000fff" +vlink="#ff0f0f" +bgcolor="#ffffff"> <p> - This file has been generated from the <i>windex</i> file from the ACE package - and it contains a list of pointers to the man2html'ed man pages. + + This file has been generated from the <A + HREF="http://www.cs.wustl.edu/~schmidt/ACE_wrappers/man/windex">windex</A> + file from the <A + HREF="http://www.cs.wustl.edu/~schmidt/ACE.html">ACE</A> package and + it contains a list of pointers to the manual pages generated by the + <A HREF="http://www.cs.wustl.edu/~schmidt/ACE_wrappers/bin/README.html">OSE + documentation tools</A>. + <p> <HR> <UL> |