20
20
"static char *poolfilearr[] = {\n",headername);
21
21
while (fgets(data,1024,fh)) {
30
30
if (data[0]>='0' && data[0]<='9' && data[1]>='0' && data[1]<='9') {
35
35
if (data[i]=='"' || data[i]=='\\') putchar('\\');
36
36
if (data[i]=='?') printf("\" \""); /* suppress trigraphs */