K 10
svn:author
V 5
peter
K 8
svn:date
V 27
1996-01-12T08:57:10.000000Z
K 7
svn:log
V 133
Make a little more effort to avoid touching certain generated files if
they were not changed.  This makes 'make depend' more useful.

END