diff options
author | levine <levine@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 1998-11-21 20:46:44 +0000 |
---|---|---|
committer | levine <levine@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 1998-11-21 20:46:44 +0000 |
commit | 3e6595a2fcb888d71faf36e93afa45150fd8dce6 (patch) | |
tree | e88a8cc7c0848110a71ec98fbf6ff3f296828959 /bin | |
parent | 47975eb7a43711bacfe44de93889b7476de088de (diff) | |
download | ATCD-3e6595a2fcb888d71faf36e93afa45150fd8dce6.tar.gz |
updated to match Doug's ~/bin version
Diffstat (limited to 'bin')
-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> |