> Thomas also corrected slightly makeindex, so perhaps it would be wise > to make another build next week. I'm only asking... For sure, this does not justify a complete rebuild. Thomas