Implemented experimental feature of copying a whole directory.

[devedit.git] / README

diff --git a/README b/README
index c20d6fa5dc58035d70b24b4da6e194b533bb7865..fd8a4e98a5c857f7c10719d68b9e4e9c476ec9b0 100644 (file)
--- a/README
+++ b/README
@@ -29,7 +29,7 @@ Configuration
 -------------
 
 Open the file devedit.conf. This file contains keys and values separated by a
-"=" sign.
+"=" sign. Lines beginning with a "#" sign are ignored.
 Here is a list of the configuration options currently available:
 
 Option                   Description
@@ -82,9 +82,12 @@ use_gmt                  Set this option to 1 if you want to use Greenwich Mean
                          Time (GMT/UTC) in directory listing and in the About
                          dialogue instead of the local time.
 
-forbidden                Specify . The filenames have to be separated by space characters.
-                         If a filename contains space characters, you have to
-                         put it into double quotation marks ("/filename").
+forbidden                Specify a list of filenames the user is not allowed to
+                         access. The filenames have to be relative to the
+                         virtual root directory (they must also begin with a
+                         slash) and have to be separated by space characters. If
+                         a filename contains space characters, you have to put
+                         it into double quotation marks ("/filename").
 
 error_file               The path to the file which defines the error messages.
                          The file has the same format as this one.