#!/bin/sh
# Copyright INRIA

shift
for man in $*
do
  sed -e 's/\\f[IPB]//g' -e 's/\\f(CR//g' -e 's/^\.I //' $man >/tmp/foo.man
  tr2latex/tr2tex  -m /tmp/foo.man 2>/dev/null
done
exit 0
