Hi Bruno, On 18/01/2026 13:04, Bruno Haible wrote:
The libtool manual [1] says that during linking, the option '-bindir' (I guess, that means an option "-bindir DIRECTORY") can be used to specify this directory.[1] https://www.gnu.org/software/libtool/manual/html_node/Link-mode.html Ileana, I'd suggest this doc patch:
Thank you for the patch! That sounds correct to me, so I will apply it now. -- Ileana Dumitrescu GPG Public Key: FA26 CA78 4BE1 8892 7F22 B99F 6570 EA01 146F 7354
OpenPGP_0x6570EA01146F7354.asc
Description: OpenPGP public key
OpenPGP_signature.asc
Description: OpenPGP digital signature
