#!/bin/sh
# file: manhtml		G. Moody	18 October 1996
#			Last revised:   25 October 2017
#
# This script uses `rman' to convert man pages to HTML pages, with
# hyperlinked cross-references.

set -e

case $# in
 0|1) echo usage: $0 html-dir manpage-filename; exit ;;
esac

D=$1
shift

for FILENAME in $*
do
  T=`echo $FILENAME | cut -d. -f1`	# title
  t=`echo $T | cut -c1-6`
  S=`echo $FILENAME | cut -d. -f2`	# section

  rman -fHTML -l "%s(%s)" -r "%6s-%s.htm" $T.$S >$D/$t-$S.htm
  echo "$FILENAME ... " $t-$S.htm
done