#! /bin/csh -f
# @(#)makepsicons	1.3	12/16/92

# Generate postscript icons for a domain.
# Usage: makepsicons domain [...]

if (!($?PTOLEMY)) then
	setenv PTOLEMY ~ptolemy
endif

set cwd = `pwd`
foreach domain ($argv)
	echo "makepsicons: generating icons for domain $domain"
	cd $PTOLEMY/src/domains/$domain
	# also need utility below
	foreach star ( icons/* */icons/* demo/* )
		if (-d $star) then 
			echo "makepsicons: generating icon for $star"
			$PTOLEMY/doc/bin/psicon $star > $star.ps
		endif
	end
	echo "makepsicons: done with domain $domain"
endif
