/bin/sh variable substitution

[Henry Spencer]

This problem seems to be fixed in the System V shell.  We run V7,
but with the System V shell -- it's a good deal less buggy than the
V7 one, and it wasn't hard to make it run under V7.
-- 
				Henry Spencer @ U of Toronto Zoology
				{allegra,ihnp4,linus,decvax}!utzoo!henry