[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: man or info?



On Sat, 22 Jun 2002 07:40:26 -0700, Osamu Aoki wrote:

>On Thu, Jun 20, 2002 at 07:15:32PM -0700, Paul Johnson wrote:
>> On Thu, Jun 20, 2002 at 10:02:43AM -0500, W. Paul Mills wrote:
<<snip>>
>> I mostly only hate info.  Mostly.  The only real way that I could find
>> to make info usable was info2html, and I have it running on my server
>> now.
>
>Where is info2html?  I can not find it :(
>
>  $ auto-apt search info2html
>usr/bin/gnome-info2html2        x11/nautilus
>usr/bin/gnome-info2html x11/gnome-help


I tried "apt-cache show info | grep html" and got

"texi2html" and "makeinfo --html" but no info2html

not quite the same :(
--
gt
It is interesting to note that as one evil empire (generic) fell,
another Evil Empire (tm)  began its nefarious rise. -- gt
Coincidence?  I think not.


-- 
To UNSUBSCRIBE, email to debian-user-request@lists.debian.org 
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org



Reply to: