Eli Barzilay wrote at 09/25/2010 01:41 PM:
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.
We don't have to forget about the on-line thing entirely. Even right now, I'd like each page of my local copy of the docs to have a link to the corresponding online page, so that I can continue using my fast local docs but at any time easily give a URL to people.
-- http://www.neilvandyke.org/ _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
