diff options
-rw-r--r-- | web/website.ini | 2 |
1 files changed, 1 insertions, 1 deletions
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 |