>> It's not expressly forbidden or expressly allowed, so we have to figure >> out if it's OK or not. As I mentioned, it doesn't seem onerous as a >> requirement; just an mv/cp and a few Makefile edits. > >Would you not need to rename the Makefile too if you edit it?
for that hypothetical license Jeff was talking about I wouldn't know, but even that wouldn't be a problem as you could load your new makefile with -f. it wouldn't be very useful as the Makefile is a building tool, but it wouldn't be an obstacle either. frank -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]