o Don't delete gif files because some are checked in. (Fix this in a
authorRaymond Toy <toy.raymond@gmail.com>
Fri, 4 Jan 2013 04:18:53 +0000 (20:18 -0800)
committerRaymond Toy <toy.raymond@gmail.com>
Fri, 4 Jan 2013 04:18:53 +0000 (20:18 -0800)
commit1dc1c331381ecd8241532c165f8bac88a3abd6b8
treec13dc50563be6b7af8e011f48656cf4006bf5553
parentf0707af1619d8e5a2f44e8a8dc00a602f2020254
o Don't delete gif files because some are checked in.  (Fix this in a
  better way.)
o Don't infloop when creating cmu-user.pdf by skipping over the
  version message from rerunfilecheck before checking for Rerun
  messages.
src/docs/cmu-user/Makefile