diff options
| author |   Tim Harder <radhermit@gentoo.org> | 2016-05-22 18:54:39 -0400 |
|---|---|---|
| committer | Tim Harder <radhermit@gentoo.org> | 2016-05-22 20:52:14 -0400 |
| commit | b34683ee2c36769c579b82c8af202fd0e24d3369 (patch) | |
| tree | ae4577119154a411da8f9110696ea249a5d59e3a /media-sound/abcmidi/files | |
| parent | www-apps/drupal: remove 8.1.0_rc1 from the tree (diff) | |
| download | gentoo-b34683ee2c36769c579b82c8af202fd0e24d3369.tar.gz gentoo-b34683ee2c36769c579b82c8af202fd0e24d3369.tar.bz2 gentoo-b34683ee2c36769c579b82c8af202fd0e24d3369.zip | |
media-sound/abcmidi: version bump to 2016.05.05
Diffstat (limited to 'media-sound/abcmidi/files')
| -rw-r--r-- | media-sound/abcmidi/files/abcmidi-2016.05.05-docs.patch | 18 |
1 files changed, 18 insertions, 0 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 new file mode 100644 index 000000000000..bc36b260bd34 --- /dev/null +++ b/media-sound/abcmidi/files/abcmidi-2016.05.05-docs.patch @@ -0,0 +1,18 @@ +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)
|