Icon2Gif           34 util/gifbuild.c static void Icon2Gif(char *FileName, FILE *txtin, int fdout);
Icon2Gif           82 util/gifbuild.c 	    Icon2Gif("Stdin", stdin, 1);
Icon2Gif          104 util/gifbuild.c 		Icon2Gif(FileNames[i], fp, 1);