# These are generated by doxygen, see https://github.com/doxygen/doxygen/issues/2625
manpage-has-bad-whatis-entry usr/share/man/man3/brlapi_*