#! /bin/sh

# the tr's replace wierd dash "\342\200\220" with plain "-"

echo "strftime" | while read name
do
  if [ -r "/usr/share/man/man3/$name.3.gz" ]; then
    echo "$name" 1>&2
    man 3 "$name" | ./man2html |
      tr -d '\200\220' | tr '\342' '-' > "$name.html"
  fi
done