Dave's Updates

[splint.git] / src / maketags

#!/bin/sh

etags *.y Headers/* *.c  *.l  *.i || etags *.y Headers/* *.c  *.l  *.i;