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