diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2024-06-16 13:28:54 +0200 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2024-06-16 13:37:07 +0200 |
| commit | 763bb059da04b824ddfe92544e2abc8a71b92d20 (patch) | |
| tree | 4f710b1299de133409e3a5f0f3b7637f274da123 /dev-libs/editline/files | |
| parent | dev-libs/editline: take up maintainership (diff) | |
| download | gentoo-763bb059da04b824ddfe92544e2abc8a71b92d20.tar.gz gentoo-763bb059da04b824ddfe92544e2abc8a71b92d20.tar.bz2 gentoo-763bb059da04b824ddfe92544e2abc8a71b92d20.zip | |
dev-libs/editline: bump to 1.17.1_p20240527
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'dev-libs/editline/files')
| -rw-r--r-- | dev-libs/editline/files/editline-1.17.1_p20240527-rename-man.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dev-libs/editline/files/editline-1.17.1_p20240527-rename-man.patch b/dev-libs/editline/files/editline-1.17.1_p20240527-rename-man.patch new file mode 100644 index 000000000000..d7b6aec5e55c --- /dev/null +++ b/dev-libs/editline/files/editline-1.17.1_p20240527-rename-man.patch @@ -0,0 +1,11 @@ +To avoid collision with dev-libs/libedit +we rename man/editline.3 to man/libeditline.3 + +This patch also needs a rename from outside the patch: + $ mv man/editline.3 man/libeditline.3 + +--- a/man/Makefile.am ++++ b/man/Makefile.am +@@ -3,1 +3,1 @@ +-dist_man_MANS = editline.3 ++dist_man_MANS = libeditline.3 |