From 8e52e0447ea0ba65e93662261e0be52123e85075 Mon Sep 17 00:00:00 2001
From: Uriel <u@berlinblue.org>
Date: Fri, 6 Mar 2009 17:34:34 +0000
Subject: [PATCH] Minor docs update.

---
 sites/werc.cat-v.org/docs/config_options.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/sites/werc.cat-v.org/docs/config_options.md b/sites/werc.cat-v.org/docs/config_options.md
index 7549f3f..2f38f61 100644
--- a/sites/werc.cat-v.org/docs/config_options.md
+++ b/sites/werc.cat-v.org/docs/config_options.md
@@ -48,4 +48,6 @@ The permissions system is very flexible, for example to only allow access to mem
     if(! check_user editors)
         perm_redirect /_users/login
 
+To automatically redirect users without permission to the login page if they are not members of the group 'editors'.
+
 See also [the documentation on user and group management](user_management).