diff options
Diffstat (limited to 'media-sound/abcmidi/files/abcmidi-2016.05.05-docs.patch')
-rw-r--r-- | media-sound/abcmidi/files/abcmidi-2016.05.05-docs.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/media-sound/abcmidi/files/abcmidi-2016.05.05-docs.patch b/media-sound/abcmidi/files/abcmidi-2016.05.05-docs.patch deleted file mode 100644 index bc36b260bd34..000000000000 --- a/media-sound/abcmidi/files/abcmidi-2016.05.05-docs.patch +++ /dev/null @@ -1,18 +0,0 @@ -Install docs via Gentoo mechanisms instead of the build system. - ---- abcmidi/Makefile.in -+++ abcmidi/Makefile.in -@@ -143,13 +143,6 @@ - $(INSTALL) -d $(DESTDIR)$(bindir)
- $(INSTALL) -m 755 ${binaries} $(DESTDIR)$(bindir)
-
-- # install documentation
-- $(INSTALL) -d $(DESTDIR)${docdir}
-- $(INSTALL) -m 644 doc/*.txt $(DESTDIR)$(docdir)
-- $(INSTALL) -m 644 doc/AUTHORS $(DESTDIR)$(docdir)
-- $(INSTALL) -m 644 doc/CHANGES $(DESTDIR)$(docdir)
-- $(INSTALL) -m 644 VERSION $(DESTDIR)$(docdir)
--
- # install manpages
- $(INSTALL) -d $(DESTDIR)${mandir}
- $(INSTALL) -m 644 doc/*.1 $(DESTDIR)$(mandir)
|