--- - branch: MAIN date: Sun Nov 22 19:30:33 UTC 2015 files: - new: '1.129' old: '1.128' path: pkgsrc/multimedia/gmplayer/Makefile pathrev: pkgsrc/multimedia/gmplayer/Makefile@1.129 type: modified - new: '1.12' old: '1.11' path: pkgsrc/multimedia/gmplayer/PLIST pathrev: pkgsrc/multimedia/gmplayer/PLIST@1.12 type: modified id: 20151122T193033Z.10041d37903c520fdebebe3689a96048474b83b1 log: | Re-add brushedGnome skin that did not worked due to a typo and bump PKGREVISION. While here restructure do-install target in order to avoid bzcat and gtar and directly use pax to copy the skins. This made the skins patchable and avoid to re-extract skin distfiles during the install phase (at the price of a regular expression that should not be too incomprensible). ok martin@ module: pkgsrc subject: 'CVS commit: pkgsrc/multimedia/gmplayer' unixtime: '1448220633' user: leot