K 10 svn:author V 3 imp K 8 svn:date V 27 2004-05-26T00:19:39.000000Z K 7 svn:log V 266 devlist2h.awk is too generic a name for what it does. It really converts miidevs to a .h file, so rename to reflect that. The usb and pccard versions have also been renamed and will be hooked into the build system shortly (I've made the conversion in my p4 tree). END