From 65efb8eb110dc5b2c51453052202599994a0f292 Mon Sep 17 00:00:00 2001
From: Kovid Goyal <kovid@kovidgoyal.net>
Date: Tue, 27 Jun 2017 00:28:57 +0530
Subject: [PATCH] ...

---
 manual/server.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manual/server.rst b/manual/server.rst
index a7ebdaf7a6..bf3bb51bd1 100644
--- a/manual/server.rst
+++ b/manual/server.rst
@@ -138,7 +138,7 @@ is as follows.
     You can either do so directly in the server by providing the path to
     the HTTPS certificate to use in the advanced configuration options for
     the server, or you can setup a reverse proxy as described below, to use
-    an existing https setup.
+    an existing HTTPS setup.
 
 
 The server interface