#ifndef T1REENCODE_UTIL_HH #define T1REENCODE_UTIL_HH #include class ErrorHandler; String read_file(String filename, ErrorHandler *, bool warn = false); String printable_filename(const String &); String pathname_filename(const String &); #endif