K 10
svn:author
V 6
obrien
K 8
svn:date
V 27
1999-10-25T08:08:32.000000Z
K 7
svn:log
V 173
Use the proper $$ which gives a single literal `$' in a Makefile rather
than `\$' which is proper for a shell script, which this isn't (even it if
they are shell commands).

END