Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2014-06-03 20:51:57 -0700 (Tue, 03 Jun 2014)
Revision: 13273
Log message:

      Merged changes from the 0.9.8.6 branch.

Changes  Path(relative to omake-branches/0.9.8.x)
Properties .
+1 -0 doc/OMakefile
+30 -32 lib/build/LaTeX.om
+1 -1 lib/configure/Configure.om
+1 -2 make_rpm
+4 -4 src/builtin/omake_builtin_object.ml
+4 -2 src/ir/omake_options.mli
+2 -2 src/magic/omake_gen_magic.ml
+0 -20 src/util/fmarshal.ml