banner		 236 src/vflmkajt.c	banner("Japanese TeX (ASCII Co.	version)", "vflmkajt", cmdline);
banner		 124 src/vflmkekan.c	 banner("eKanji", "vflmkekan", cmdline);
banner		 137 src/vflmkgf.c	banner("GF", "vflmkgf",	cmdline);
banner		 124 src/vflmkpcf.c	banner("PCF", "vflmkpcf", cmdline);
banner		 137 src/vflmkpk.c	banner("PK", "vflmkpk",	cmdline);
banner		 269 src/vflmkt1.c	banner("Type 1", "vflmkt1", cmdline);
banner		 162 src/vflmktex.c	banner("TeX Font Mapper", "vflmktex", cmdline);
banner		 144 src/vflmktfm.c	banner("TFM", "vflmktfm", cmdline);
banner		 132 src/vflmkttf.c	banner("TrueType", "vflmkttf", cmdline);
banner		 194 src/vflmkvf.c	banner("Virtual	Font", "vflmkvf", cmdline);
banner		 190 src/vflmkvfl.c	banner("VFlib defaults", "vflmkvfl", cmdline);