From 66f4669f36df43be770a23add4c1d446c2b9ba64 Mon Sep 17 00:00:00 2001
From: Paolo Di Tommaso <paolo.ditommaso@gmail.com>
Date: Wed, 7 Dec 2022 12:08:30 +0100
Subject: [PATCH] Add AWS profile config setting [ci skip]

Signed-off-by: Paolo Di Tommaso <paolo.ditommaso@gmail.com>
---
 docs/config.rst | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/docs/config.rst b/docs/config.rst
index ba039a05e3..48c25f76c8 100644
--- a/docs/config.rst
+++ b/docs/config.rst
@@ -109,7 +109,8 @@ to specify your bucket credentials. For example::
     aws {
         accessKey = '<YOUR S3 ACCESS KEY>'
         secretKey = '<YOUR S3 SECRET KEY>'
-        region = '<REGION IDENTIFIER>'
+        region = '<AWS REGION IDENTIFIER>'
+        profile = '<AWS CONFIG PROFILE>' // optional
     }
 
 Click the following link to learn more about `AWS Security Credentials <http://docs.aws.amazon.com/general/latest/gr/aws-security-credentials.html>`_.