From: The PCI ID Mail Robot Date: Fri, 3 Oct 2008 17:57:53 +0000 (+0200) Subject: Merge branch 'master' of /home/vorner/pciids X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=f96491826ad7122bd1acf6c0ff5b519dfa5bb5c5;p=pciids.git Merge branch 'master' of /home/vorner/pciids --- f96491826ad7122bd1acf6c0ff5b519dfa5bb5c5 diff --cc scripts/pciids-export index 53a4477,7b0aa47..a0f0d90 --- a/scripts/pciids-export +++ b/scripts/pciids-export @@@ -27,10 -27,10 +27,10 @@@ cat cf/class_head.ids >> ../pci.ids.ne cd .. if ! [ -f docs/pci.ids ] || ! cmp docs/pci.ids pci.ids.new >/dev/null ; then cp perl/cf/head.ids pci.ids.final - echo '# Current to date: '`date +%Y%m%d` >> pci.ids.final + 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 rm pci.ids.final bzip2 -9c docs/pci.ids.bz2