Fix example configuration file for development.

ppp configuration was broken because the name of the service were used
twice in the path where to store the configuration files.

diff --git a/doc/config-examples/pymin.devel.ini b/doc/config-examples/pymin.devel.ini
index 5396373d57054be0fbdc62a2056015c074ea70b1..f45789358e97ca296a237f72523118f8c995fef1 100644 (file)
--- a/doc/config-examples/pymin.devel.ini
+++ b/doc/config-examples/pymin.devel.ini
@@ -40,12 +40,11 @@ log-config-files = doc/config-examples/log.devel.ini
 [ppp]
 ; use the pickle-dir value provided by DEFAULT section
 ; helper variable, not used by pymin
-config-base-dir    = %(config-dir)s/%(__name__)s
 ; variables used by pymin
-config-options-dir = %(config-base-dir)s
-config-pap-dir     = %(config-base-dir)s
-config-chap-dir    = %(config-base-dir)s
-config-peers-dir   = %(config-base-dir)s/peers
+config-options-dir = %(config-dir)s
+config-pap-dir     = %(config-dir)s
+config-chap-dir    = %(config-dir)s
+config-peers-dir   = %(config-dir)s/peers
 
 [ip]
 ; use the pickle-dir and config-dir values provided by DEFAULT section