configure: make makeinfo_html check more robust