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