# well, they do... and?
libcoq-stdlib: file-name-contains-wildcard-character [usr/share/doc/libcoq-stdlib/html/index_global_*.html]
libcoq-stdlib: file-name-contains-wildcard-character [usr/share/doc/libcoq-stdlib/html/index_library_*.html]
