#!/bin/sh

cat > man.html <<EOF
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML 2.0//EN"> 
<HTML>
<HEAD>
<TITLE> Galley man pages </TITLE>
</HEAD>
<BODY>
<H1>Man Pages for the Galley Parallel File System</H1>

<UL>

EOF

for i in `/bin/ls /usr/local/man/man*/gfs_* /usr/local/man/man1/iop.1`
do
	call=`echo $i | sed -e 's/.*\///;s/\.2//'`
	echo $call
	echo "<LI> <A HREF=\""$call.html"\">" $call "</A>" >> man.html
	nroff -man $i | rman -fhtml -l "$call(2)" > $call.html
done

cat >> man.html <<EOF

</UL>

These pages <A HREF="make_html"> automatically generated </A> at `date`.<P>

The actual translation from nroff to HTML is done by
<A HREF="ftp://ftp.cs.berkeley.edu:/ucb/people/phelps/tcltk/rman.tar.Z">
RosettaMan v2.5a4 </A>.  The translation is not perfect, but it beats
trying to keep the nroff and HTML consistent by hand.

<P> <EM> Nils Nieuwejaar</EM> <P>
</BODY>
</HTML>
EOF
