Lines Matching refs:dest_file
890 dest_file = os.path.join(directory,894 dest_file = filename + ',cover'895 dest = open(dest_file, 'w')