Mark Eichin <eichin@thok.org> 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.