The doc/html changes do not need to be propagated. ---- Changes in omake-branches/jumbo: +1 -3 merge-branch A hyperlinked version of this commit is available at http://svn.metaprl.org/commitlogs/omake/2008-03.html#08/03/19.13:11:06