projects
/
rrq
/
maintain_lilo.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Add externs to avoid multiple definitions, and then add missing definitions.
[rrq/maintain_lilo.git]
/
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