Hi Peter, for the sake of backwards compatibility with older versions of the web site I'd need those files to be called "ax_have_epoll.html", i.e. I'd like to disable the '_' to '_005f' transliteration.
I don't recall any way to disable it in makeinfo. Patrice, is there a way in texi2html (short of hacking the source)? Just to mention a not-very-appealing alternative that you've probably already thought of, you could add redirects at one level or another in your web setup so that the old names go to the new names. Sorry, Karl