To print documentation, make sure your .cshrc file has a line like
        setenv PRINTER lw
where "lw" is replaced with the name of your printer.
Then, to print out all the domain-specific documentation, go to
the doc directory for the domain, and type:
        make print

To print out documentation for only single stars or demos,
go the directory where they are documented, and type:
	printpage name
