#!/bin/sh if [ $# -ne 1 ]; then echo " Usage: buildman commandname" echo " The result is in file r1.html" exit 1 fi # cat - > temp$$ < ]>
&refentrypage;
wrapper xmlto man temp$$ rm temp$$