search

brownplt / pyret-docs

The documentation for Pyret.
9 stars 18 forks source link

Add a search box on every doc page #39

Closed sorawee closed 6 years ago

sorawee commented 6 years ago

This uses Google Search with the site:pyret.org/docs keyword.

Potentially fixes #34 and https://github.com/brownplt/pyret-lang/issues/1382

jpolitz commented 6 years ago

Hm. It's disappointing that this is the best way to do this.

I suppose it's not a bad idea to have a custom Racket build file available to prepare for any future fanciness we need to do. I'm happy with this. Thanks!