-
Kenneth Moreland authored
It takes a while to compile the whole document (~1/2 minute for dvi, longer for pdf), which is annoying when editing and typesetting. This change creates special targets to build each part independently, which is faster. These special targets are not built with all, so it shouldn't hurt users unexpectedly.
ac8ee97b