diff options
| author | Michael Fellinger <m.fellinger@gmail.com> | 2014-09-09 13:43:23 +0200 |
|---|---|---|
| committer | Michael Fellinger <m.fellinger@gmail.com> | 2014-09-09 13:43:23 +0200 |
| commit | 33aaa7ac543edb1471cc92324bf3bbc2699a97dd (patch) | |
| tree | c11c8d4f9751ca97632642780b99d43d1f562a18 /nixos/doc/manual/default.nix | |
| parent | 95b4d2af947c3801515ddf1ecde4ebff4714fadb (diff) | |
| download | nixlib-33aaa7ac543edb1471cc92324bf3bbc2699a97dd.tar nixlib-33aaa7ac543edb1471cc92324bf3bbc2699a97dd.tar.gz nixlib-33aaa7ac543edb1471cc92324bf3bbc2699a97dd.tar.bz2 nixlib-33aaa7ac543edb1471cc92324bf3bbc2699a97dd.tar.lz nixlib-33aaa7ac543edb1471cc92324bf3bbc2699a97dd.tar.xz nixlib-33aaa7ac543edb1471cc92324bf3bbc2699a97dd.tar.zst nixlib-33aaa7ac543edb1471cc92324bf3bbc2699a97dd.zip | |
fix location of options.xml
Diffstat (limited to 'nixos/doc/manual/default.nix')
| -rw-r--r-- | nixos/doc/manual/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nixos/doc/manual/default.nix b/nixos/doc/manual/default.nix index bd89ad4eb9cc..8b7458ad2685 100644 --- a/nixos/doc/manual/default.nix +++ b/nixos/doc/manual/default.nix @@ -57,7 +57,7 @@ let }; optionsDocBook = runCommand "options-db.xml" {} '' - optionsXML=${options'}/doc/share/nixos/options.xml + optionsXML=${options'}/share/doc/nixos/options.xml if grep /nixpkgs/nixos/modules $optionsXML; then echo "The manual appears to depend on the location of Nixpkgs, which is bad" echo "since this prevents sharing via the NixOS channel. This is typically" |