From 1ad7e33963d583ab7c56652c169e52980b4f89c0 Mon Sep 17 00:00:00 2001
From: P. J. McDermott <pj@pehjota.net>
Date: Sun, 06 Sep 2015 12:05:50 -0400
Subject: Manage pci.ids.gz with update-alternatives

This way, the pciids-* packages can be coinstalled.
---
(limited to 'build')

diff --git a/build b/build
index 8605614..5f55422 100755
--- a/build
+++ b/build
@@ -10,6 +10,6 @@ install:
 	install -d -o 0 -g 0 -m 0755 pciids-full.data/usr/share/misc/
 	install -d -o 0 -g 0 -m 0755 pciids-reduced.data/usr/share/misc/
 	sed '/^#/d; /^[ \t]*$$/d;' src/pci.ids | gzip -9cn \
-		>pciids-full.data/usr/share/misc/pci.ids.gz
+		>pciids-full.data/usr/share/misc/pci.ids.full.gz
 	sed '/^#/d; /^[ \t]*$$/d; /^\t\t/d;' src/pci.ids | gzip -9cn \
-		>pciids-reduced.data/usr/share/misc/pci.ids.gz
+		>pciids-reduced.data/usr/share/misc/pci.ids.reduced.gz
--
cgit v0.9.1