David E. O'Brien dfbf15ee80 Awk version of makeobjops.PL. ...

Note the invocation ordering is slightly different:
	awk -f makeobjops.awk foo.m -ch

Submitted by:	Oliver Fromme <olli@fromme.com>

2002-05-01 03:19:19 +00:00

..

devlist2h.awk

…

makeobjops.awk

Awk version of makeobjops.PL.

2002-05-01 03:19:19 +00:00

miidevs2h.awk

…

pccarddevs2h.awk

…

usbdevs2h.awk

…

vnode_if.awk

…