Searched refs:infilename (Results 1 – 1 of 1) sorted by relevance
231 char *infilename = "stdin"; /* input file name */ variable313 infilename = *argv;543 printf("%%%%Title: %s (ditroff)\n", infilename); in preface()