I've added the license, moved deleting the files to the snippet (minus the PDF) and pushed it under a new (gnu packages emulators) module. I'll open a bug report later about moving the existing emulators over from (gnu packages games) to (gnu packages emulators). Thanks everyone! On Wed, 21 Feb 2018 22:55:41 +0100 Björn Höfling wrote: > On Wed, 21 Feb 2018 11:37:30 -0500 > Leo Famulari wrote: > > > On Tue, Feb 20, 2018 at 11:52:08PM +0100, Björn Höfling wrote: > > > Here is what I found that should be stripped away: > > > > > > /review/dolphin-emu-5.0-0.d04b179-checkout$ find . -name "*.rar" > > > -or -name "*.pdf" -or -name "*.bin" -or -name "*.pdf" -or -name > > > "*.dsy" -or -name "*.jar" -or -name "*.exe" > > > > I didn't look at the file in question, but in general it's not > > necessary to remove PDFs from Guix packages. > > Ah, sorry, you are right. I was confused about all the findings: > > ./docs/WiiMote/HID_SPEC_V10.rar > > This .rar contained just one PDF that is under proprietary copyright. > It should be snipped away. > > ./docs/DSP/GC_DSP.pdf > > This is a reverse-engineered documentation of the GameCube DSP and is > licensed under "GNU Free Documentation License, Version 1.2 or any > later version", so a "licenses:fdl1.2+" should be added for this to > the license list. > > Björn