path->PATHS
authorng0 <ng0@n0.is>
Thu, 24 Oct 2019 12:45:19 +0000 (12:45 +0000)
committerng0 <ng0@n0.is>
Thu, 24 Oct 2019 12:45:19 +0000 (12:45 +0000)
doc/handbook/chapters/installation.texi

index 327cffeaf5ad0e72bb82044d9efb28065aeee40e..53d49af6d0b04003369f926ea2f4fb802e8a0b7a 100644 (file)
@@ -2130,7 +2130,7 @@ the "Enable connecting to NATed peers using ICMP method" box.
 @node Peer configuration for distributors (e.g. Operating Systems)
 @subsection Peer configuration for distributors (e.g. Operating Systems)
 
-The "GNUNET_DATA_HOME" in "[path]" in @file{/etc/gnunet.conf} should be
+The "GNUNET_DATA_HOME" in "[PATHS]" in @file{/etc/gnunet.conf} should be
 manually set to "/var/lib/gnunet/data/" as the default
 "~/.local/share/gnunet/" is probably not that appropriate in this case.
 Similarly, distributors may consider pointing "GNUNET_RUNTIME_DIR" to