> Looking at my original report here, I also suggested a tweak to the doc
> which I don't see in your patch? Or maybe I'm missing something.

I did forget about that. It looks like this has been incorrect for many
years, but it is fixed now [1]. Thank you!

[1] 
https://git.savannah.gnu.org/cgit/libtool.git/commit/?h=development&id=fd591c8a634ea4fba03578a6936e4d0576e58a1c

-- 
Ileana Dumitrescu

GPG Public Key: FA26 CA78 4BE1 8892 7F22 B99F 6570 EA01 146F 7354