Changes by: Aleksey Nogin (nogin at metaprl.org)
Date: 2007-11-16 10:32:09 -0800 (Fri, 16 Nov 2007)
Revision: 12600
Log message:

      Minor documentation updates:
      - [Bug 707] Document the [-v] and [-h] options of the built-in Shell.grep on
        Windows
      - Add the Shell. aliases to index. This is related to bug 603, which also
        calls for them to have a separate index.
      - Fix the code.hva style - the \verb+...+ is implemented as `...' in non-html
        modes, while the \code used to be implemented as '...', which was
        inconsistent. I changed the code.hva to use the same `...' for consistency.
      - Fixed dependencies in doc/OMakefile: it used to only add src/*hva as
        dependencies for the text doc, but failed to do the same for info and html.
      - Regenerated the documentation.