Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-01-23 19:59:17 -0800 (Mon, 23 Jan 2006)
Revision: 8581
Log message:

      In the readonly installation mode, we currently do not have doc/htmlman - so
      when doc/htmlman is unavailable, we need to point to http://metaprl.org/
      instead.