From 30117fb35bde6ba27d7de5037272ea23c8dcebf9 Mon Sep 17 00:00:00 2001
From: Robert Vollmert <rob@vllmrt.net>
Date: Mon, 10 Jul 2017 14:36:55 +0200
Subject: [PATCH] fix buggy nix-shell man page
---
doc/manual/command-ref/nix-shell.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/manual/command-ref/nix-shell.xml b/doc/manual/command-ref/nix-shell.xml
index 078fa3849..62d026ac2 100644
--- a/doc/manual/command-ref/nix-shell.xml
+++ b/doc/manual/command-ref/nix-shell.xml
@@ -39,7 +39,7 @@
<arg choice='plain'><option>-p</option></arg>
</group>
<arg choice='plain' rep='repeat'><replaceable>packages</replaceable></arg>
- </group>
+ </arg>
<arg><replaceable>path</replaceable></arg>
</group>
</cmdsynopsis>
--
GitLab