]> mj.ucw.cz Git - pciids.git/commitdiff
Uncomment export part
authorThe PCI ID Mail Robot <pciids@ucw.cz>
Mon, 6 Oct 2008 16:13:01 +0000 (18:13 +0200)
committerThe PCI ID Mail Robot <pciids@ucw.cz>
Mon, 6 Oct 2008 16:13:01 +0000 (18:13 +0200)
It was commented not to disturb the real version, this becomes real version now.

scripts/pciids-export

index 43fb26a29c195008abace917d4cc0b3deb8136d8..b129fffdf190379be2d21af0b5546e596b2103fe 100755 (executable)
@@ -30,7 +30,7 @@ if ! [ -f docs/pci.ids.nohead ] || ! cmp docs/pci.ids.nohead pci.ids.new >/dev/n
        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