Searched refs:bannerfile (Results 1 – 1 of 1) sorted by relevance
189 static char *bannerfile; variable563 bannerfile = argv[first_file+1]; in main()570 setheaderfile(bannerfile); in main()892 if (bannerfile) { in printpage()893 current.lineno += printbanner(bannerfile, outfile); in printpage()894 bannerfile = NULL; in printpage()