t...@tsdye.com (Thomas S. Dye) writes: > > With this patch, links to TEXINFO_MENU_TITLE properties are no longer > created. If the problem looks difficult, I can work on an ECM.
It should be fixed. Between patch writing and its application, a change in property syntax was introduced. Regards, -- Nicolas Goaziou
