From de9d0141b444c4096163ff3ccc35a038fb79e1df Mon Sep 17 00:00:00 2001
From: Cem Keylan <cem@ckyln.com>
Date: Mon, 14 Sep 2020 20:19:32 +0300
Subject: install: update

---
 install.texi | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/install.texi b/install.texi
index bd8a428..26c5d96 100644
--- a/install.texi
+++ b/install.texi
@@ -117,7 +117,11 @@ it. If you want to obtain the git repository, you will need to install
 
 The following guide will assume that you put the repositories into
 @file{~/repos/} directory, but you can put the repositories into any directory
-you want. So go ahead and create that directory. @command{mkdir -p $HOME/repos}.
+you want. So go ahead and create that directory:
+
+@example
+$ mkdir -p $HOME/repos
+@end example
 
 @subsubsection Obtaining from rsync
 
-- 
cgit v1.2.3