mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-02-17 09:34:36 +00:00
Merge pull request #4009 from manveru/fix-nixos-doc
fix location of options.xml
This commit is contained in:
commit
dcb36abbf5
@ -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"
|
||||
|
Loading…
Reference in New Issue
Block a user