From 6633605341c6e01bc72b8311e478ed9932719e7e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <Mic92@users.noreply.github.com>
Date: Mon, 20 Jul 2020 22:30:39 +0100
Subject: [PATCH] Update doc/manual/hacking.xml

Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
---
 doc/manual/hacking.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/manual/hacking.xml b/doc/manual/hacking.xml
index c0ece76b6..d25d4b84a 100644
--- a/doc/manual/hacking.xml
+++ b/doc/manual/hacking.xml
@@ -12,7 +12,7 @@ $ cd nix
 </screen>
 </para>
 
-<para>To build Nix for the current operating system/architecture use</para>
+<para>To build Nix for the current operating system/architecture use
 
 <screen>
 $ nix-build