Some targets may be a little raw, but the basic formatting targets are all
tested, primarily for use from the subdirs.  There are probably a few
gotchas, and the paper-*/ directories could use "helper" Makefiles.