diff options
author | V3n3RiX <venerix@koprulu.sector> | 2024-06-17 00:09:46 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2024-06-17 00:09:46 +0100 |
commit | 74e526c590f52d24a213e25f77858ae0b34ec2c8 (patch) | |
tree | 0f6f22133ae9cc04958f6df6d39a02d90ffb1aaf /dev-libs/editline/files | |
parent | 0a3feeaba4dbc58966dccdbbfcd7fb14deef0831 (diff) |
gentoo auto-resync : 17:06:2024 - 00:09:46
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 |