]> git.tue.mpg.de Git - micoforia.git/commitdiff
Fix default rc path in man page.
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 6 Nov 2020 12:04:30 +0000 (13:04 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 6 Nov 2020 12:04:30 +0000 (13:04 +0100)
The default config path is of course ~/.micoforiarc. A classic
copy+paste mistake...

micoforia.suite.m4

index 697edbc92fa81b86b3973f34f814dcf446b34613..2f91fc5c4f4ec6667182eaa6071fa05f0e9345bf 100644 (file)
@@ -32,7 +32,7 @@
                short_opt = V
        [option config-file]
                short_opt = c
-               summary = use alternative config file (default: ~/.mismarc)
+               summary = use alternative config file (default: ~/.micoforiarc)
                typestr = path
                arg_info = required_arg
                arg_type = string