]> git.tuebingen.mpg.de Git - adu.git/blobdiff - adu.ggo
Remove unused option --config-file.
[adu.git] / adu.ggo
diff --git a/adu.ggo b/adu.ggo
index bbca8712197007d217ae2468009080377994009d..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"
@@ -150,7 +138,7 @@ optional
 dependon="select"
 details="
        This option takes a string whose content is another set of
-       options as described below.  Select options may be specified
+       options as described below. Select options may be specified
        either directly in select mode, in which case you have use
        quotes to prevent the select options from being interpreted
        as adu options, or via the \"set\" command in interactive mode.