diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2019-01-12 16:58:08 +0000 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2019-01-12 16:58:08 +0000 |
commit | c8a77dfe4d3d307c1d5dd2650b7297447d8b609d (patch) | |
tree | 9ea78393bc3ecd6ab4de449383d4e97e5f3648ae /dev-libs/editline/files | |
parent | 2891d29af8907ce881662f4a02844926d7a293c7 (diff) |
gentoo resync : 12.01.2019
Diffstat (limited to 'dev-libs/editline/files')
-rw-r--r-- | dev-libs/editline/files/editline-1.16.0-rename-man.patch | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/dev-libs/editline/files/editline-1.16.0-rename-man.patch b/dev-libs/editline/files/editline-1.16.0-rename-man.patch new file mode 100644 index 000000000000..0f339eeaa136 --- /dev/null +++ b/dev-libs/editline/files/editline-1.16.0-rename-man.patch @@ -0,0 +1,16 @@ +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 +--- a/man/Makefile.in ++++ b/man/Makefile.in +@@ -273,1 +273,1 @@ top_build_prefix = @top_build_prefix@ +-dist_man_MANS = editline.3 ++dist_man_MANS = libeditline.3 |