From 5eeda5ad01a87e0479772bd120e5ead606772a63 Mon Sep 17 00:00:00 2001 From: Sylvain Pace Date: Mon, 2 Sep 2019 13:34:07 +0200 Subject: [PATCH] resolves #814 (#816) --- docs/config.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/config.json b/docs/config.json index a2a09bb6..3f9d5d6e 100644 --- a/docs/config.json +++ b/docs/config.json @@ -74,7 +74,7 @@ "pages": [ { "title": "DocSearch Technical Overview (the Scraper)", - "url": "scraper-overview.html" + "url": "crawler-overview.html" }, { "title": "Inside The Engine",