> The simple solution is to (ugh) write a wrapper script which runs Latex, and creates another output file if the labels are wrong. Only after the labels are ri

> The simple solution is to (ugh) write a wrapper script which runs Latex, and creates another output file if the labels are wrong. Only after the labels are right does the output file stop changing. The other alternative is to treat the rerunning of latex until it reaches a fixed point as a single build step, instead of multiple ones.