#! /bin/csh -f
# @(#)printpage	1.6   12/10/92

# Command uses printer defined by environmental variable $PRINTER
# User .cshrc file must contain "set PRINTER = whatever"

# The argument(s) are the files to be printed.
# An implicit header file, $PRINTER/doc/headers/shared, is prepended.

if ($#argv == 0) then
	echo "Usage: printpage files"
	exit 0
endif

if ( ! $?PTOLEMY ) setenv PTOLEMY ~ptolemy

# File structure information:
set dirheader = $PTOLEMY/doc/headers
set printcommand = ditroff
set printoptions = "-me -tbl -eqn -P$PRINTER"

soelim $dirheader/shared $dirheader/domain $* | \
$printcommand $printoptions
