missing libtool sources?

[Paolo Bonzini]

> I think we should adjust the Libtool sources in this case.  While CVS
> HEAD's ltmain.sh is generated from ltmain.m4sh, and we prefer patches
> against the latter file, the former is definitely in a source code form
> that makes modifications just as easy: both are shell scripts without
> lots of redundancy (unlike configure scripts).  And the intended mode of
> operation is definitely to have the former file distributed rather than
> the latter.  IMHO the same holds for the other files generated thusly
> from the Makefile.
> 
> Would this patch eliminate further doubts?  If no, could you suggest an
> improvement?

It does look like a good idea.

Paolo