Just a little thing about @euro and html xrefs. The @euro should be associated qith an unicode codepoint, I suggest U+20AC, and there should be in HTML Xref Command Expansion a line like: @item @code{@@euro} @tab U+20AC Pat