]> git.tuebingen.mpg.de Git - adu.git/blobdiff - adu.ggo
Make user.c independent of command line options.
[adu.git] / adu.ggo
diff --git a/adu.ggo b/adu.ggo
index 2ecdea4b6b3116b6e6e2f32742ae8966778910e3..5da5908d7b9d7c467eac1044f0b3a75306028822 100644 (file)
--- a/adu.ggo
+++ b/adu.ggo
@@ -14,18 +14,6 @@ usage patterns of subdirectories and/or files owned by a given user id.
 section "General options"
 #########################
 
-option "config-file" c
-#~~~~~~~~~~~~~~~~~~~~~
-"(default='~/.adurc')"
-string typestr="filename"
-optional
-details="
-       Options may be given at the command line or in the
-       configuration file. As usual, if an option is given both at
-       the command line and in the configuration file, the command
-       line option takes precedence.
-"
-
 option "database-dir" d
 #~~~~~~~~~~~~~~~~~~~~~~
 "directory containing the osl tables"