From 4e51b562d4bbad7935333325e486492599358fae Mon Sep 17 00:00:00 2001
From: Andreas Rumpf <rumpf_a@web.de>
Date: Thu, 20 Oct 2016 18:47:47 +0200
Subject: [PATCH] fixes #3755

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

diff --git a/web/website.ini b/web/website.ini
index 89077d6dd4..833122ecb3 100644
--- a/web/website.ini
+++ b/web/website.ini
@@ -63,7 +63,7 @@ srcdoc2: "deprecated/pure/ftpclient"
 srcdoc2: "pure/asyncfile;pure/asyncftpclient"
 srcdoc2: "pure/md5;pure/rationals"
 srcdoc2: "posix/posix"
-srcdoc2: "pure/fenv;pure/securehash"
+srcdoc2: "pure/fenv;pure/securehash;impure/rdstdin"
 srcdoc2: "pure/basic2d;pure/basic3d;pure/mersenne;pure/coro;pure/httpcore"
 
 ; Note: everything under 'webdoc' doesn't get listed in the index, so wrappers