diff options
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" |