doc/rlatex

   1 #!/bin/sh
   2 while true; do
   3     pid=$$
   4     export pid
   5     rm -f /tmp/rlok$pid
   6     (
   7         if latex $*; then
   8             touch /tmp/rlok$pid
   9         fi
  10     ) | tee /tmp/rlso$pid
  11     if [ ! -f /tmp/rlok$pid ]; then
  12         rm -f /tmp/rlso$pid
  13         exit 1
  14     fi
  15     if grep '^LaTeX Warning: Label(s) may' /tmp/rlso$pid >/dev/null; then :
  16     else
  17         rm -f /tmp/rlso$pid
  18         exit 0
  19     fi
  20     echo "Re-running LaTeX"
  21 done