matt@oddjob.uchicago.edu (Matt Crawford) (02/15/89)
) ... So it doesn't disallow "//filename", although it indicates that it ) may not do what you think it does, ... Certain people in the habit of writing Makefiles with "DESTDIR=/" may have to be sent off to re-education camps. Matt