echo "Creating manual page for $1"
${GOOD_ROOT_DIR}/YART/bin/document $1 NROFF > /tmp/yart.3
${GOOD_ROOT_DIR}/YART/bin/rtsh -file /tmp/yart.3 > ${GOOD_ROOT_DIR}/man/man3/$1.3
rm /tmp/yart.3

