Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2004-06-21 04:17:20 -0700 (Mon, 21 Jun 2004)
Revision: 5980
Log message:
"omake doc" needs to use the -cli option when generating .tex files.
Changes | Path |
+1 -1 | metaprl/OMakefile |
+1 -1 | metaprl/editor/ml/Makefile |