#
# inc_src.awk - plane text to const char *
#   by uratan! 2004.6.19
#
BEGIN {
	cur_file = "";
}

{
	if(cur_file != FILENAME) {
		printf(":::::::::::::::::::::::::::::::::::::::::::::::::\n");
		printf("::::: file: %s\n", FILENAME);
		printf(":::::::::::::::::::::::::::::::::::::::::::::::::\n");

		cur_file = FILENAME;
	}

	print $0;
}