) ... 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