* doc/Makefile.in: two runs of makeindex seem needed to get correct page references...