diff options
Diffstat (limited to 'bin/html-windex')
-rwxr-xr-x | bin/html-windex | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/bin/html-windex b/bin/html-windex deleted file mode 100755 index 153023a1621..00000000000 --- a/bin/html-windex +++ /dev/null @@ -1,44 +0,0 @@ -#!/bin/sh -# -# 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 Manual Page Index</h1></center> -<BODY text = "#000000" -link="#000fff" -vlink="#ff0f0f" -bgcolor="#ffffff"> - <p> - - 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> -EOF - -cat $WINDEX | \ - sed -e 's/ / /g' \ - -e 's/^[a-zA-Z0-9_]*/&\.html">/g' \ - -e 's%(3).*-%(3)</a>%g' \ - -e 's/\.PP/<BR>/g' \ - -e 's%^%<li><a HREF="html/%g' \ - -e 's%\\f(CO[a-zA-Z0-9_]*%<CODE>&</B></I></CODE>%g' \ - -e 's%\\f(CO%%g' - -echo "</UL>" |