From 3fd6fe49cd3801639fc26087838be589805f43d9 Mon Sep 17 00:00:00 2001
From: ng0 <ng0@infotropique.org>
Date: Tue, 5 Sep 2017 11:15:25 +0000
Subject: [PATCH] doc: gnunet-c-tutorial: @file for .config directory, add a
 note that ~/.config might already exist.

---
 doc/gnunet-c-tutorial.texi | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/gnunet-c-tutorial.texi b/doc/gnunet-c-tutorial.texi
index 60188287e..b4ed0e786 100644
--- a/doc/gnunet-c-tutorial.texi
+++ b/doc/gnunet-c-tutorial.texi
@@ -162,9 +162,9 @@ $ make install
 @end example
 
 After installing GNUnet you have to add your GNUnet installation to your path
-environmental variable. In addition you have to create the .config
-directory in your home directory where GNUnet stores its data and an empty
-GNUnet configuration file:
+environmental variable. In addition you have to create the @file{.config}
+directory in your home directory (unless it already exists) where GNUnet stores
+its data and an empty GNUnet configuration file:
 
 @example
 $ export PATH=$PATH:$PREFIX/bin
-- 
2.25.1