From 57eb2ec3125dbbf60a9d1a2635ddc19345e2e5c1 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Wed, 8 Jul 2015 20:48:24 +0000
Subject: DEFAULTSERVICES is dead, remove remains

---
 doc/man/gnunet.conf.5 | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'doc')

diff --git a/doc/man/gnunet.conf.5 b/doc/man/gnunet.conf.5
index d668c81fa..2ef88c11e 100644
--- a/doc/man/gnunet.conf.5
+++ b/doc/man/gnunet.conf.5
@@ -75,15 +75,16 @@ This example is a simple way to get started, using a server that has a known lis
     OPTIONS = \-b
     SERVERS = http://v9.gnunet.org:58080/
 
-    [arm]
-    DEFAULTSERVICES = topology hostlist fs
-
     [nat]
     BEHIND_NAT = YES
     ENABLE_UPNP = YES
     DISABLEV6 = YES
     EXTERNAL_ADDRESS = 157.166.249.10
 
+    [arm]
+    SYSTEM_ONLY = YES
+    USER_ONLY = NO
+
 .SH FILES
 .TP
 ~/.config/gnunet.conf
-- 
cgit v1.2.3