aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJörg Thalheim <Mic92@users.noreply.github.com>2020-07-20 22:30:39 +0100
committerGitHub <noreply@github.com>2020-07-20 22:30:39 +0100
commit6633605341c6e01bc72b8311e478ed9932719e7e (patch)
tree2c3c15365975ff7f406a213bb2c88c3c7000ceb5
parentf0100f55909d00f15bfdbef89d6cdcf6c38b2f59 (diff)
Update doc/manual/hacking.xml
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
-rw-r--r--doc/manual/hacking.xml2
1 files changed, 1 insertions, 1 deletions
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