Follow-up to doc/html reorg:
- Now the whole doc/html changes can be safely ignored.
- In non-"simple" mode, try rebuilding the documentation.
----
Changes in omake-branches/jumbo:
+6 -3 merge-branch
A hyperlinked version of this commit is available at
http://svn.metaprl.org/commitlogs/omake/2007-10.html#07/10/25.17:24:17