What about moving the google search to the search results page, saying
something like "didn't find what you were looking for? Try a google-based
search." instead of having two searches next to each other in a somewhat
confusing way?

(I think someone else made this suggestion; apologies if I missed the reply)

Robby


On Wed, Mar 6, 2013 at 11:46 AM, Eli Barzilay <e...@barzilay.org> wrote:

> A few minutes ago, Danny Yoo wrote:
> >
> > The other thing that would be nice is if the prior versions of the
> > docs also included these updates too, but if that can't happen
> > easily, oh well.
>
> Yes -- they all have that.  It's just that the previous versions that
> are generated now are inaccessible...  Once I switch docs you'll have
> them too.
>
> (Maybe I should do that now?  It's a quick flip-of-a-symlink thing...)
>
> --
>           ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
>                     http://barzilay.org/                   Maze is Life!
> _________________________
>   Racket Developers list:
>   http://lists.racket-lang.org/dev
>
_________________________
  Racket Developers list:
  http://lists.racket-lang.org/dev

Reply via email to