diff options
| author | Domen Kožar <domen@dev.si> | 2014-09-06 20:59:06 +0200 |
|---|---|---|
| committer | Domen Kožar <domen@dev.si> | 2014-09-06 20:59:14 +0200 |
| commit | 18d99044331fa99372fc67abf0451056087e5629 (patch) | |
| tree | 7e2d0d03d6a2ea426b5b442674780e84c9fcbaa2 /nixos/doc/manual/man-nixos-option.xml | |
| parent | 0d357114129097b7978c79c371ff399fe85cd046 (diff) | |
nixos-option: fixes as suggested by @nbp
Diffstat (limited to 'nixos/doc/manual/man-nixos-option.xml')
| -rw-r--r-- | nixos/doc/manual/man-nixos-option.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixos/doc/manual/man-nixos-option.xml b/nixos/doc/manual/man-nixos-option.xml index 554b29691805..2875336c67e5 100644 --- a/nixos/doc/manual/man-nixos-option.xml +++ b/nixos/doc/manual/man-nixos-option.xml @@ -71,7 +71,7 @@ Description: Whether to enable the GNU GRUB boot loader. Declared by: - "/path/to/nixpkgs/nixos/modules/system/boot/loader/grub/grub.nix" + "/nix/var/nix/profiles/per-user/root/channels/nixos/nixpkgs/nixos/modules/system/boot/loader/grub/grub.nix" Defined by: "/nix/var/nix/profiles/per-user/root/channels/nixos/nixpkgs/nixos/modules/system/boot/loader/grub/grub.nix" |