On Tue, Dec 03, 2002 at 08:10:03AM -0700, D. R. Evans wrote: > Is that documented somewhere? It seems like that's a very important fact > that should be clearly stated somewhere where it won't be missed.
I'll add a comment to the makefile about this.
