From da2f689e09d9eb6a3a3af6c5f7f8f06fc17c48ea Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Thu, 14 Dec 2017 20:49:08 +0100
Subject: fixes #6033

---
 web/website.ini | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'web')

diff --git a/web/website.ini b/web/website.ini
index 17a062eae..a158e3b47 100644
--- a/web/website.ini
+++ b/web/website.ini
@@ -64,7 +64,7 @@ srcdoc2: "pure/asyncfile;pure/asyncftpclient;pure/lenientops"
 srcdoc2: "pure/md5;pure/rationals"
 srcdoc2: "posix/posix;pure/distros;pure/oswalkdir"
 srcdoc2: "pure/collections/heapqueue"
-srcdoc2: "pure/fenv;pure/securehash;impure/rdstdin"
+srcdoc2: "pure/fenv;impure/rdstdin"
 srcdoc2: "pure/segfaults"
 srcdoc2: "pure/basic2d;pure/basic3d;pure/mersenne;pure/coro;pure/httpcore"
 srcdoc2: "pure/bitops;pure/nimtracker;pure/punycode;pure/volatile"
-- 
cgit 1.4.1-2-gfad0