Alvaro Herrera <alvherre@commandprompt.com> writes:
> It would be neat to have some Makefile trickery to be able to detect
> that the just-finished run was done without an index entries file and
> and repeat the process in that case.
[ shrug... ] The standard solution is to run the build twice, no matter
what. You have no way to be sure the existing index file is correct
even if it's present...
regards, tom lane
