getty_play: getty_play.c
	@echo "This version is tailored for Binky."
	@echo "With a few mods, it will only work on any Sun 4.0 machine."
	@echo "Install this program as '/usr/etc/getty' AFTER renaming"
	@echo "the real /usr/etc/getty to '/usr/etc/getty_real'."
	@echo "Then create an (empty) file called /etc/getty_play.flag"
	@echo "on each machine which is to use the MIDI screen saver."
	@echo "(Also see getty_ss.c in /u/psl/MISC for non-MIDI 4.0.)"
	$(CC) -O -Bstatic getty_play.c -o getty_play
