K 10 svn:author V 3 bde K 8 svn:date V 27 1999-03-05T15:36:23.000000Z K 7 svn:log V 98 Don't bogotify the synopsis by attempting to describe err_set_file() there. Fixed some disorder. END