diff options
Diffstat (limited to 'dev-libs/editline/files/editline-1.17.1_p20240527-rename-man.patch')
| -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 |