DOCUMENTFONTS
char *comment = DOCUMENTFONTS; /* look for this comment */
fprintf(fp_out, "%s", DOCUMENTFONTS);
fprintf(stdout, "%s %s\n", DOCUMENTFONTS, ATEND);
fprintf(stdout, "%s %s\n", DOCUMENTFONTS, ATEND);
fprintf(stdout, "%s %s\n", DOCUMENTFONTS, fontname);