diff options
author | nobody <nobody@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 1997-01-01 08:00:34 +0000 |
---|---|---|
committer | nobody <nobody@ae88bc3d-4319-0410-8dbf-d08b4c9d3795> | 1997-01-01 08:00:34 +0000 |
commit | 437eea6fa08e931864f89be91d14a816f69075c7 (patch) | |
tree | b8c1fd723fdcd61c3855d3a3a21a9cd45a268219 /bin/html-windex | |
parent | ea0d28240863caf437a18071bfd03e7b146c5ade (diff) | |
download | ATCD-unlabeled-4.2.2.tar.gz |
This commit was manufactured by cvs2svn to create branchunlabeled-4.2.2
'unlabeled-4.2.2'.
Diffstat (limited to 'bin/html-windex')
-rwxr-xr-x | bin/html-windex | 33 |
1 files changed, 0 insertions, 33 deletions
diff --git a/bin/html-windex b/bin/html-windex deleted file mode 100755 index 2a80ae85f6b..00000000000 --- a/bin/html-windex +++ /dev/null @@ -1,33 +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 Wrappers Man Pages Index</h1></center> - <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. - <p> - <HR> - <UL> -EOF - -cat $WINDEX | \ - sed -e 's/ / /g' \ - -e 's%\(3\).*-%3\)</a>%g' \ - -e 's/^[a-zA-Z_]*/&\.html">/g' \ - -e 's/\.PP/<BR>/g' \ - -e 's%^%<li><a HREF="html/%g' \ - -e 's%\\f(CO[a-zA-Z_]*%<CODE>&</B></I></CODE>%g' \ - -e 's%\\f(CO%%g' - -echo "</UL>" |