Nothing special, so certainly the same than makeinfo --html. wdyt of changing "(dir)" references to ".."? It's not perfect, but it's probably easy to do and a lot more likely to be useful until we figure out all the details of the cross-manual stuff.
Thanks, Karl
