#! /bin/sh
echo a listing of the manual is being put in the file
echo "mira.man" in your home directory ...
echo
cat howtoprint
./printman > $HOME/mira.man
