[ On Wed, September 23, 1998 at 16:16:23 (-0400), Todd Vierling wrote: ]
> Subject: Re: texinfo files 
>
> What did I miss?

If texi2dvi(2) and texindex(2) are not installed how are users going to
get them if/when they do install TeX?

Why not install them anyway and just mention in the docs (which docs? I
don't know), that they're non-functional unless TeX is also installed?

The alternatives are all far too complex.

-- 
							Greg A. Woods

+1 416 218-0098      VE3TCP      <gwoods@acm.org>      <robohack!woods>
Planix, Inc. <woods@planix.com>; Secrets of the Weird <woods@weird.com>