diff options
| author | Marius Bakke <marius@gnu.org> | 2022-07-22 02:32:45 +0200 |
|---|---|---|
| committer | Marius Bakke <marius@gnu.org> | 2022-07-22 02:36:23 +0200 |
| commit | 5d970dfa89703d9ee90c24d3757b02bf3355b0df (patch) | |
| tree | 919a8b92585969f358029327fab4fdc5efa73b03 /gnu/packages | |
| parent | 67921f5f4f456f6a3e25eabb228748ee83684d71 (diff) | |
gnu: git-minimal: Do not attempt to install info manual.
This is a follow-up to commit 245ddc255a51c576ddad8fab6222cde1c3da21ab.
* gnu/packages/version-control.scm (git-minimal)[arguments]: Remove
install-info-manual phase.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/version-control.scm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/version-control.scm b/gnu/packages/version-control.scm index d2a9acba91..d18a355187 100644 --- a/gnu/packages/version-control.scm +++ b/gnu/packages/version-control.scm @@ -611,6 +611,7 @@ everything from small to very large projects with speed and efficiency.") (delete 'build-subtree) (delete 'split) (delete 'install-man-pages) + (delete 'install-info-manual) (delete 'install-subtree) (delete 'install-credential-netrc) (delete 'install-credential-libsecret) |