Mark Eichin <[EMAIL PROTECTED]> writes: > indeed, "update-catalog" would seem to be the right place to handle it.
I was vapor-locked on the name. Now one question I guess might be whether update-catalog works like the menu infrastructure, where the changes for one entry cause the thing to be regenerated for all formats from scratch. Mike.
