336 |
|
} else |
337 |
|
distantsources(); /* else mark only distant sources */ |
338 |
|
|
339 |
< |
fflush(stdout); /* in case we're duplicating header */ |
339 |
> |
fflush(stdout); /* in case we're duplicating header */ |
340 |
|
|
341 |
|
#ifdef PERSIST |
342 |
|
if (persist) { |
501 |
|
case 'W': printf(" coefficient"); break; |
502 |
|
case 'm': printf(" modifier"); break; |
503 |
|
case 'M': printf(" material"); break; |
504 |
< |
case '-': printf(" stroke"); break; |
504 |
> |
case '~': printf(" tilde"); break; |
505 |
|
} |
506 |
|
putchar('\n'); |
507 |
|
printf(erract[WARNING].pf != NULL ? |