Hello, Ludovic Courtès <l...@gnu.org> skribis:
> How about the following patch? > > It does produce a slightly verbose message, but I don’t think we can do > much better (we could save one line by not mentioning ‘--search-paths’.) Pushed as bcb7c900cc9d01603fb8fa47bc52caa8e7ebd480. Feedback welcome! Thanks, Ludo’.