Sebastian Wiesner <lunary...@gmail.com> writes: > Ideally the HTML exporter would consult this database when exporting > info links, to find out where the corresponding HTML manual is > published.
I see, thanks. Is it safe to assume that htmlxref.cnf will always be located in /usr/share/texinfo/? E.g. is it for you? -- Bastien