diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-01-17 14:06:19 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-01-17 14:06:19 +0000 |
| commit | fc6e577018dec28e18904f9ad5c1417976e3c728 (patch) | |
| tree | d1bffe78e4c3db88c10e85e3efd2f7e2c0e5a156 /media-sound/vorbis-tools/files | |
| parent | e74bddc195533f6d160ee96220f5cfcc205bda1c (diff) | |
gentoo auto-resync : 17:01:2024 - 14:06:19
Diffstat (limited to 'media-sound/vorbis-tools/files')
| -rw-r--r-- | media-sound/vorbis-tools/files/vorbis-tools-1.4.2-docdir.patch | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/media-sound/vorbis-tools/files/vorbis-tools-1.4.2-docdir.patch b/media-sound/vorbis-tools/files/vorbis-tools-1.4.2-docdir.patch deleted file mode 100644 index 3dc0bd1892f8..000000000000 --- a/media-sound/vorbis-tools/files/vorbis-tools-1.4.2-docdir.patch +++ /dev/null @@ -1,14 +0,0 @@ -Thanks-to: Chris Mayo -https://bugs.gentoo.org/533774 - ---- a/configure -+++ b/configure -@@ -937,7 +937,7 @@ - runstatedir='${localstatedir}/run' - includedir='${prefix}/include' - oldincludedir='/usr/include' --docdir='${datarootdir}/doc/${PACKAGE_TARNAME}' -+docdir='${docdir}' - infodir='${datarootdir}/info' - htmldir='${docdir}' - dvidir='${docdir}' |