#!/bin/csh -f
set infile = $1
set outfile = $2
shift
shift
perl $LEDAROOT/Manual/cmd/ext.pl Mkman $infile outfile=$outfile $*


