| Tue, 04 Sep 2012 20:45:43 +0200 | wenzelm | added build option -R; | file | diff | annotate |
| Mon, 03 Sep 2012 11:30:29 +0200 | wenzelm | tuned boundary cases of command-line; | file | diff | annotate |
| Wed, 29 Aug 2012 21:27:32 +0200 | wenzelm | approximative build of pdf documents in 1 pass instead of 3; | file | diff | annotate |
| Wed, 29 Aug 2012 20:54:49 +0200 | wenzelm | one more round to ensure that base images are already there, without producing document output themselves; | file | diff | annotate |
| Tue, 28 Aug 2012 20:10:53 +0200 | wenzelm | prefer cp over mv, to reduce assumptions about file-system boundaries and GNU vs. non-GNU tools; | file | diff | annotate |
| Tue, 28 Aug 2012 17:49:02 +0200 | wenzelm | more formal build_doc tool (Admin only); | file | diff | annotate |