From 313f7172ed3ddee7da0ee5bdc5ce798ab05a27d3 Mon Sep 17 00:00:00 2001
From: Claudio Acciaresi <claudio@devartis.com>
Date: Fri, 24 Jan 2020 13:42:47 -0300
Subject: [PATCH] Updating documentation on how to renew certificates.

---
 docs/configuration.rst | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/configuration.rst b/docs/configuration.rst
index 2681d0d..14a86c0 100644
--- a/docs/configuration.rst
+++ b/docs/configuration.rst
@@ -174,7 +174,9 @@ To create the certificate manually, run::
 
 To renew the certificate, run this command once per month::
 
+    tutor local stop nginx
     tutor local https renew
+    tutor local start -d
 
 .. _customise: