# HG changeset patch
# User diego
# Date 1261007066 0
# Node ID 835d6e5e5de0688ace8ab385c31fb67e46168d93
# Parent  dabd6ed79efe073e8497a5dd46abe2bf64fdd922
Make vidix/pci_db2c.awk executable.

diff -r dabd6ed79efe -r 835d6e5e5de0 vidix/pci_db2c.awk
--- a/vidix/pci_db2c.awk	Wed Dec 16 22:36:17 2009 +0000
+++ b/vidix/pci_db2c.awk	Wed Dec 16 23:44:26 2009 +0000
@@ -1,9 +1,8 @@
+#!/usr/bin/awk -f
 # This file converts given pci.db to "C" source and header files
 # For latest version of pci ids see: http://pciids.sf.net
 # Copyright 2002 Nick Kurshev
 #
-# Usage: awk -f pci_db2c.awk pci.db
-#
 # Tested with Gawk v 3.0.x and Mawk 1.3.3
 # But it should work with standard Awk implementations (hopefully).
 # (Nobody tested it with Nawk, but it should work, too).
@@ -28,7 +27,7 @@
 
     if(ARGC != 3) {
 # check for arguments:
-	print "Usage awk -f pci_db2c.awk pci.db (and make sure pci.db file exists first)";
+	print "Usage ./pci_db2c.awk pci.db (and make sure pci.db file exists first)";
 	exit(1);
     }
     in_file = ARGV[1];