diff options
| author | Robert Vollmert <rob@vllmrt.net> | 2017-07-10T12·36+0200 |
|---|---|---|
| committer | Robert Vollmert <rob@vllmrt.net> | 2017-07-10T12·36+0200 |
| commit | 30117fb35bde6ba27d7de5037272ea23c8dcebf9 (patch) | |
| tree | 7f82f53190890b1ebc07b5c33ca28649b5004a5e | |
| parent | c85e662004d6f2881dde92991d3a2352e612e8e3 (diff) | |
fix buggy nix-shell man page
| -rw-r--r-- | doc/manual/command-ref/nix-shell.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/command-ref/nix-shell.xml b/doc/manual/command-ref/nix-shell.xml index 078fa38494b8..62d026ac238e 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> |