]> mj.ucw.cz Git - pciids.git/commitdiff
Merge branch 'master' of /home/vorner/pciids
authorThe PCI ID Mail Robot <pciids@ucw.cz>
Fri, 3 Oct 2008 18:00:10 +0000 (20:00 +0200)
committerThe PCI ID Mail Robot <pciids@ucw.cz>
Fri, 3 Oct 2008 18:00:10 +0000 (20:00 +0200)
1  2 
scripts/pciids-export

index a0f0d9088046e63c4edfb0a29f168600c9dff7ea,34c76419d91e1b7ba69ac42390b9cafd531e8408..1f99588b5cbee3013c22c68752113b894ad18629
@@@ -30,8 -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
        rm pci.ids.final
        bzip2 -9c <docs/pci.ids >docs/pci.ids.bz2
        gzip -9c <docs/pci.ids >docs/pci.ids.gz