On Fri, Jan 20, 2006 at 18:56 +0100, Frank Küster wrote: > > JFTR: This is not true. At least texfind and texshow use it, too. Interesting, I didn't even know these programs, though I vaguely remeber their names from the splitting tetex-bin discussion. > texshow even has an entry in your help menu; texfind should probably > also get a menu entry somewhere. Where? It already has one: X-Debian-Apps-Tools-texfind.desktop cheerio ralf