Hi, Alon Bar-Lev <alon.barlev at gmail.com> skribis: > Any reason why this is not htmldir? > As far as I understand these are used in the htmls. But these are also used in the Info files. I guess there could be a local target to symlink one place to the other upon install. Ludo’.