text input: fix problem with autoindenting and ^^D

[nvi.git] / ex / ex.awk

#       $Id: ex.awk,v 10.1 1995/06/08 18:55:37 bostic Exp $ (Berkeley) $Date: 1995/06/08 18:55:37 $
 
/^\/\* C_[0-9A-Z_]* \*\/$/ {
        printf("#define %s %d\n", $2, cnt++);
        next;
}