From 54264124b72eec40aaa22e327c16760f5e806c2a Mon Sep 17 00:00:00 2001
From: Cristian Maglie <c.maglie@bcmi-labs.cc>
Date: Mon, 29 May 2017 12:58:56 +0200
Subject: [PATCH] Updated paths to preferences.txt in manpage

Fix #6061
---
 build/shared/manpage.adoc | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/build/shared/manpage.adoc b/build/shared/manpage.adoc
index a7564ce5e..830187d26 100644
--- a/build/shared/manpage.adoc
+++ b/build/shared/manpage.adoc
@@ -212,7 +212,9 @@ EXIT STATUS
 
 FILES
 -----
-*~/.arduino15/preferences.txt*::
+*%LOCALAPPDATA%/Arduino15/preferences.txt* (Windows)::
+*~/Library/Arduino15/preferences.txt* (Max OS X)::
+*~/.arduino15/preferences.txt* (Linux)::
 	This file stores the preferences used for the IDE, building and
 	uploading sketches.