Commit 000c7de47a233ed7fc06e543d7a3b7721605ca75

Bruno Haible 2020-05-19T07:48:27

havelib: Tweak documentation. * doc/havelib.texi (Searching for Libraries): Fix typo.