blob: 2a80ae85f6b8d0cf003921bb735e0deb69770130 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
#!/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>"
|
