From 639fa923783e48b5425422323c4950a1d3b2c731 Mon Sep 17 00:00:00 2001
From: Araq <rumpf_a@web.de>
Date: Mon, 9 Jan 2017 07:40:03 +0100
Subject: [PATCH] add distros to docs properly

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

diff --git a/web/website.ini b/web/website.ini
index b929712bf..0405acd08 100644
--- a/web/website.ini
+++ b/web/website.ini
@@ -62,7 +62,7 @@ srcdoc2: "pure/nativesockets;pure/asynchttpserver;pure/net;pure/selectors;pure/f
 srcdoc2: "deprecated/pure/ftpclient"
 srcdoc2: "pure/asyncfile;pure/asyncftpclient"
 srcdoc2: "pure/md5;pure/rationals"
-srcdoc2: "posix/posix;distros"
+srcdoc2: "posix/posix;pure/distros"
 srcdoc2: "pure/fenv;pure/securehash;impure/rdstdin"
 srcdoc2: "pure/basic2d;pure/basic3d;pure/mersenne;pure/coro;pure/httpcore"