On Wednesday, 7 January 2015 at 06:48:23 UTC, Andrei Alexandrescu
wrote:
On 1/6/15 10:09 PM, Manu via Digitalmars-d wrote:
On 7 January 2015 at 08:43, Andrei Alexandrescu via
Digitalmars-d
<digitalmars-d@puremagic.com> wrote:
Let's crowdsource the review. Please check the entries linked
from here:
http://dlang.org/library/index.html.
Andrei
Another one; I tried to use the search box on the top right
corner...
it just resulted in a google search.
Can we do better than that? When people go to the
documentation page,
they want to search the docs, not get a standard google
results page.
That would be quite an involved project. -- Andrei
I don't think so, since vibed.org has exactly that.
I'm not familiar with JS, but I believe
https://github.com/rejectedsoftware/vibed.org/blob/master/public/scripts/ddox.js
could be a good starter place.
