Searched refs:utf8_name (Results 1 – 1 of 1) sorted by relevance
48 const char *utf8_name = UTF8_NAME; variable3284 printf("Writing %s\n", utf8_name); in write_file()3285 file = fopen(utf8_name, "w"); in write_file()3287 open_fail(utf8_name, errno); in write_file()3387 utf8_name = optarg; in main()