Merge pull request #215121 from ncfavier/doc-gitignore

This commit is contained in:
Valentin Gagarin 2023-02-07 16:26:51 +01:00 committed by GitHub
commit 13088e285e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,6 +1,5 @@
{ pkgs ? (import ./.. { }), nixpkgs ? { }}: { pkgs ? (import ./.. { }), nixpkgs ? { }}:
let let
lib = pkgs.lib;
doc-support = import ./doc-support { inherit pkgs nixpkgs; }; doc-support = import ./doc-support { inherit pkgs nixpkgs; };
in pkgs.stdenv.mkDerivation { in pkgs.stdenv.mkDerivation {
name = "nixpkgs-manual"; name = "nixpkgs-manual";
@ -15,7 +14,7 @@ in pkgs.stdenv.mkDerivation {
xmlformat xmlformat
]; ];
src = lib.cleanSource ./.; src = pkgs.nix-gitignore.gitignoreSource [] ./.;
postPatch = '' postPatch = ''
ln -s ${doc-support} ./doc-support/result ln -s ${doc-support} ./doc-support/result