Store disk images gzipped in repo ... we should ungzip in a "copy resources" phase in Mac/iOS target if we need them ungzipped

2026-04-24 06:23:24 +00:00 · 2016-01-17 12:30:06 -08:00
parent a8e6f4fc92
commit 37e5143d73
10 changed files with 1 additions and 1 deletions
@@ -157,7 +157,7 @@ shaders_DATA = src/video/Basic.vsh src/video/Basic.fsh
 disksdir = @datadir@/@PACKAGE@/disks
 disks_DATA = \
 	disks/README disks/blank.dsk.gz disks/blank.nib.gz disks/blank.po.gz disks/etc.dsk.gz \
-	disks/mystery.dsk disks/speedtest.dsk disks/speedtest.txt disks/flapple140.po \
+	disks/mystery.dsk.gz disks/speedtest.dsk.gz disks/speedtest.txt disks/flapple140.po.gz \
 	disks/testdisplay1.dsk.gz disks/testdisplay1.nib.gz disks/testvm1.dsk.gz disks/testvm1.nib.gz