Make:defining macros with filenames that have '$' in them

[Felix Lee]

The following oddity works in SunOS 4.x (and presumably, System V):
	% cat whonk.\$
	This is a silly file name.
	% cat makefile
	whonk: whonk.$$$$
		cat whonk.$$
	% make
	cat whonk.$
	This is a silly file name.
	%

Looks like the dependencies list gets evaluated twice.
--
Felix Lee	flee at shire.cs.psu.edu	*!psuvax1!flee