Update rules for pdf and dvi to run latex enough times. Taken from
authorRaymond Toy <toy.raymond@gmail.com>
Fri, 4 Jan 2013 17:24:49 +0000 (09:24 -0800)
committerRaymond Toy <toy.raymond@gmail.com>
Fri, 4 Jan 2013 17:24:49 +0000 (09:24 -0800)
commite7d0e7008ecd1eab4f1274a3db8e2812a6b59014
tree39f79e28aac26b34ae569eb7d7d081a4f1658d7e
parent1dc1c331381ecd8241532c165f8bac88a3abd6b8
Update rules for pdf and dvi to run latex enough times.  Taken from
cmu-user/Makefile.
src/docs/internals/Makefile