From: The PCI ID Mail Robot <pciids@ucw.cz>
Date: Fri, 3 Oct 2008 18:01:07 +0000 (+0200)
Subject: Merge branch 'master' of /home/vorner/pciids
X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=93ec00db4a67fd6f8b794843856152824483d54f;p=pciids.git

Merge branch 'master' of /home/vorner/pciids
---

93ec00db4a67fd6f8b794843856152824483d54f
diff --cc scripts/pciids-export
index 1f99588,adb3543..b459305
--- a/scripts/pciids-export
+++ b/scripts/pciids-export
@@@ -30,9 -30,9 +30,9 @@@ if ! [ -f docs/pci.ids.nohead ] || ! cm
  	echo '# Version: '`date +%Y%m%d` >> pci.ids.final
  	echo >> pci.ids.final
  	cat pci.ids.new >> pci.ids.final
 -	ln -f pci.ids.final ~/origs/00-current
 +#	ln -f pci.ids.final ~/origs/00-current
  	ln -f pci.ids.final docs/pci.ids
- 	ln -f pci.ids docs/pci.ids.nohead
+ 	ln -f pci.ids.new docs/pci.ids.nohead
  	rm pci.ids.final
  	bzip2 -9c <docs/pci.ids >docs/pci.ids.bz2
  	gzip -9c <docs/pci.ids >docs/pci.ids.gz