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

index b459305376f09c085db6b9d8c39b4f70c656bf55,b129fffdf190379be2d21af0b5546e596b2103fe..43fb26a29c195008abace917d4cc0b3deb8136d8
@@@ -27,11 -27,12 +27,12 @@@ cat cf/class_head.ids >> ../pci.ids.ne
  cd ..
  if ! [ -f docs/pci.ids.nohead ] || ! cmp docs/pci.ids.nohead pci.ids.new >/dev/null ; then
        cp perl/cf/head.ids pci.ids.final
-       echo '# Version: '`date +%Y%m%d` >> pci.ids.final
+       echo '# Generated at: '`date '+%F %T'` >> 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.final docs/v2.2/pci.ids
        ln -f pci.ids.new docs/pci.ids.nohead
        rm pci.ids.final
        bzip2 -9c <docs/pci.ids >docs/pci.ids.bz2