From 7621bb05c9cda4e236161239236a547994a7245d Mon Sep 17 00:00:00 2001 From: Andreas Rumpf Date: Fri, 9 Sep 2016 16:23:54 +0200 Subject: [PATCH] docgen: search feature --- config/nimdoc.cfg | 9 ++++++ tools/dochack/dochack.nim | 59 +++++++++++++++++++++++++++++++++++++++ tools/dochack/karax.nim | 5 ++++ 3 files changed, 73 insertions(+) diff --git a/config/nimdoc.cfg b/config/nimdoc.cfg index b953383de8..742217e593 100644 --- a/config/nimdoc.cfg +++ b/config/nimdoc.cfg @@ -74,9 +74,14 @@ $content doc.body_toc = """
+
+ Search: +
$tableofcontents
+

$moduledesc

$content
@@ -86,6 +91,10 @@ doc.body_toc = """ doc.body_toc_group = """
+
+ Search: +
Group by: