20 minutes ago, Eli Barzilay wrote:
> [...]
> 3. And even if you get that resolved, you still have the issue that
>    Neil raised.  That's why I suggested a preference for:
>    * Using the remote docs.racket-lang.org
>    * Using a local copy if it's installed
>    * Using the remote docs if they're accessible, falling back to
>      local docs otherwise
>    with the last one being the default.  [...]

Another possibly useful option is to use the local docs and fall back
on the remote if they're not installed.  This might be a better
default -- allowing people to install the local copy and forget about
the on-line thing.

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev

Reply via email to