changing a Makefile based on user input

[Mark Linimon]

On Thu, 5 Aug 2004, Matthew Seaman wrote:

> I don't think there would be any problem with having two ports of the
> same name except for case differences, but ICBW.

Please don't do this.  In addition to the user confusion, portsmon
will be unable to properly assign PRs about the capitalized version
of the port.  (Internally, everything is mapped to lowercase to
compensate for PR submitters' typos.)

In addition, I thought that policy was to prefer all lowercase for
port names; never mind the fact that commits with uppercase do sneak
through, and that many existing ports use uppercase.

mcl