Alfred Perlstein <bright@wintelcom.net> writes:
>> Can I rename the directory pl/tcl to pl/pltcl? Is that OK?
> It's really better if the names don't change at all.
I agree ... a marginal improvement in consistency of directory names
is not worth the pain involved here.
Besides, some of us would argue that if anything is to be done here,
it should be removing the redundant "pl" from the *other* subdirectories
of src/pl ;-).
regards, tom lane
