Hi Bruno,

Thank you for your research and updates to the documentation. Your patch
has been applied:

https://git.savannah.gnu.org/cgit/libtool.git/commit/?h=development&id=ff39c3238c026b45ad027ccbf513fc44a5c5c0bd

-- 
Ileana Dumitrescu

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