Nicolas Goaziou <n.goaz...@gmail.com> writes: > 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.
Yes, that works nicely. Thanks! All the best, Tom -- T.S. Dye & Colleagues, Archaeologists 735 Bishop St, Suite 315, Honolulu, HI 96813 Tel: 808-529-0866, Fax: 808-529-0884 http://www.tsdye.com