diff options
author | Théo Zimmermann <theo.zimmi@gmail.com> | 2016-12-15 17:13:44 +0100 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2016-12-15 17:13:44 +0100 |
commit | fba65373419d56aa7aef12062f84873ed7790a2d (patch) | |
tree | e67ede81033c5e492576a641ac5713686394bab1 /nixos/doc | |
parent | b4005bbac0530c711a7bed56722ba63a0883d9f7 (diff) |
doc: correct typo (#21176)
Diffstat (limited to 'nixos/doc')
-rw-r--r-- | nixos/doc/manual/man-nixos-rebuild.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixos/doc/manual/man-nixos-rebuild.xml b/nixos/doc/manual/man-nixos-rebuild.xml index d01e2e060bde..f74788353e67 100644 --- a/nixos/doc/manual/man-nixos-rebuild.xml +++ b/nixos/doc/manual/man-nixos-rebuild.xml @@ -68,7 +68,7 @@ desired operation. It must be one of the following: <listitem> <para>Build and activate the new configuration, and make it the boot default. That is, the configuration is added to the GRUB - boot menu as the default meny entry, so that subsequent reboots + boot menu as the default menu entry, so that subsequent reboots will boot the system into the new configuration. Previous configurations activated with <command>nixos-rebuild switch</command> or <command>nixos-rebuild boot</command> remain |