]> mj.ucw.cz Git - pciids.git/commitdiff
Export to v2.2, change date format
authorMichal Vaner <vorner@ucw.cz>
Sat, 4 Oct 2008 18:30:38 +0000 (20:30 +0200)
committerMichal Vaner <vorner@ucw.cz>
Sat, 4 Oct 2008 18:30:38 +0000 (20:30 +0200)
scripts/pciids-export

index adb35433d18d57d27cde7cc0a46f299d81435770..b129fffdf190379be2d21af0b5546e596b2103fe 100755 (executable)
@@ -27,15 +27,18 @@ cat cf/class_head.ids >> ../pci.ids.new
 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 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
+       ln -f docs/pci.ids.bz2 docs/v2.2/
        gzip -9c <docs/pci.ids >docs/pci.ids.gz
+       ln -f docs/pci.ids.gz docs/v2.2/
 fi
 
 rm pci.ids.new