diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2023-03-09 12:35:49 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2023-03-10 14:49:56 +0100 |
| commit | 79ae719ad1e336fd7de93eb954281f0c0521c64b (patch) | |
| tree | 533631d1243e80bf2670d9e78352c8299f204ee0 | |
| parent | 4f4e4abd3ac3552cbf8596a50b5dade8d111571f (diff) | |
| download | guix-79ae719ad1e336fd7de93eb954281f0c0521c64b.tar guix-79ae719ad1e336fd7de93eb954281f0c0521c64b.tar.gz | |
build-system/gnu: Remove 'install-license-files' from '%dist-phases'.
* guix/build/gnu-dist.scm (%dist-phases): Delete 'install-license-files'.
| -rw-r--r-- | guix/build/gnu-dist.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/guix/build/gnu-dist.scm b/guix/build/gnu-dist.scm index fce1cd0759..cc48d3bdbf 100644 --- a/guix/build/gnu-dist.scm +++ b/guix/build/gnu-dist.scm @@ -1,5 +1,5 @@ ;;; GNU Guix --- Functional package management for GNU -;;; Copyright © 2013, 2015, 2020 Ludovic Courtès <ludo@gnu.org> +;;; Copyright © 2013, 2015, 2020, 2023 Ludovic Courtès <ludo@gnu.org> ;;; Copyright © 2018 Mark H Weaver <mhw@netris.org> ;;; ;;; This file is part of GNU Guix. @@ -52,6 +52,7 @@ (delete 'strip) (replace 'install install-dist) (add-after 'build 'build-dist build) - (delete 'build))) + (delete 'build) + (delete 'install-license-files))) ;don't create 'OUT/share/doc' ;;; gnu-dist.scm ends here |