Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-06-13 01:48:18 -0700 (Tue, 13 Jun 2006)
Revision: 9300
Log message:

      - Minor documentation fixes.
      
      - Made the documentation commands much less verbose:
        - Added \batchmode on top of omake-doc.tex
        - Pass "-s" to hevea (unless VERBOSE is set)
        - Pass "-q" to dvips (unless VERBOSE is set)
        - Pipe dvips output to a command that would drop all the stupid warnings
          that are generated because the .dvi file was built using the "dvipdfm"
          mode of hyperref (again, unless VERBOSE is set).