On Tue, Jun 07, 2005 at 02:38:15PM +0200, Geert Hendrickx wrote:
> The first approach could also be a tetex-use-openmotif option instead
> of a "file exists" test.  Maybe that's the best option, it puts the
> user in control without complication things too much?  

Nah, not true: it would give the same problem if openmotif was already
installed but the user disabled tetex-use-openmotif...  

GH

-- 
:wq