#
# List of PCI ID's
#
+# Version: @VERSION@
+# Date: @DATE@
+#
# Maintained by Martin Mares <mj@ucw.cz> and other volunteers from the
-# Linux PCI ID's Project at http://pciids.sf.net/.
+# PCI ID Project at http://pciids.sf.net/.
#
-# New data are always welcome, especially if accurate. If you have
-# anything to contribute, please follow the instructions at the web site
-# or send a diff -u against the most recent pci.ids to pci-ids@ucw.cz.
+# New data are always welcome, especially if they are accurate. If you have
+# anything to contribute, please follow the instructions at the web site.
#
# This file can be distributed under either the GNU General Public License
# (version 2 or higher) or the 3-clause BSD License.
./scripts/export.pl PD >> ../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 '# Generated at: '`date '+%F %T'` >> pci.ids.final
- echo >> pci.ids.final
+ VERSION=`date '+%Y.%m.%d'`
+ DATE=`date '+%F %T'`
+ sed <perl/cf/head.ids >pci.ids.final -e "s/@VERSION@/$VERSION/;s/@DATE@/$DATE/'
cat pci.ids.new >> pci.ids.final
ln -f pci.ids.final ~/origs/00-current
ln -f pci.ids.final docs/pci.ids