From 7f53224563e226a16d8e4daa0ef855e1b8f95a6c Mon Sep 17 00:00:00 2001
From: Dominik Picheta <dominikpicheta@gmail.com>
Date: Tue, 7 Jun 2016 11:26:29 +0100
Subject: [PATCH] Fixes #4287.

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

diff --git a/web/website.ini b/web/website.ini
index 6cf2bef94..ae363afbd 100644
--- a/web/website.ini
+++ b/web/website.ini
@@ -64,7 +64,7 @@ srcdoc2: "pure/asyncfile;pure/asyncftpclient"
 srcdoc2: "pure/md5;pure/rationals"
 srcdoc2: "posix/posix"
 srcdoc2: "pure/fenv;pure/securehash"
-srcdoc2: "pure/basic2d;pure/basic3d;pure/mersenne;pure/coro"
+srcdoc2: "pure/basic2d;pure/basic3d;pure/mersenne;pure/coro;pure/httpcore"
 
 ; Note: everything under 'webdoc' doesn't get listed in the index, so wrappers
 ; should live here