From f01283478b9739dbf510a516fb492ad56049c90a Mon Sep 17 00:00:00 2001
From: Simon McVittie <smcv@debian.org>
Date: Fri, 6 May 2016 07:53:53 +0100
Subject: [PATCH] Exclude users/* from the HTML documentation

---
 docwiki.setup | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docwiki.setup b/docwiki.setup
index cc8f34645..7a17a0683 100644
--- a/docwiki.setup
+++ b/docwiki.setup
@@ -21,7 +21,7 @@ use IkiWiki::Setup::Standard {
 	underlaydirbase => "underlays",
 	underlaydir => "underlays/basewiki",
 	discussion => 0,
-	exclude => qr/\/discussion|bugs\/*|todo\/*|forum\/*|sandbox\/*/, # save space
+	exclude => qr/\/discussion|bugs\/*|todo\/*|forum\/*|sandbox\/*|users\/*/, # save space
 	locale => '',
 	verbose => 1,
 	syslog => 0,
-- 
2.39.5