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/patches/source-highlight-gcc-compat.patch | |
| 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/patches/source-highlight-gcc-compat.patch')
0 files changed, 0 insertions, 0 deletions