missing libtool sources?

[DJ Delorie]

> I don't think this is much of a problem.  ltmain.sh is always
> distributed with libtool and you would need the full libtool sources to
> rebuild it anyway.

I was thinking more of the legality of shipping GPL files without
their sources, being defined as "the preferred form of the work for
making modifications to it", and since the file says "do not edit this
file", we're clearly not complying.

It would be bad form for an FSF project to not comply 100% with the
GPL.