]> mj.ucw.cz Git - pciids.git/blobdiff - scripts/pciids-export
Merge branch 'master' of /home/vorner/pciids
[pciids.git] / scripts / pciids-export
index b129fffdf190379be2d21af0b5546e596b2103fe..43fb26a29c195008abace917d4cc0b3deb8136d8 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