From f0c873e6cb84c627c0aa6f6706cc4f8890d57c71 Mon Sep 17 00:00:00 2001
From: juga0 <juga@riseup.net>
Date: Wed, 29 Aug 2018 08:01:12 +0000
Subject: [PATCH] Fix syntax

---
 INSTALL.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/INSTALL.rst b/INSTALL.rst
index 962e4abf..67540b0f 100644
--- a/INSTALL.rst
+++ b/INSTALL.rst
@@ -90,7 +90,7 @@ To build the manual (``man``) pages::
 
     cd docs/ && make man
 
-The generated man pages will be in `docs/man/`.
+The generated man pages will be in ``docs/man/``.
 
 To build the documentation diagrams::
 
-- 
GitLab