Subject: Re: ``RiscBSD Documentation Project''
To: None <port-arm32@NetBSD.ORG>
From: Olly Betts <olly@MANTIS.CO.UK>
List: port-arm32
Date: 07/10/1996 13:14:14
Tom Hughes writes:
>Daniel Pead (Daniel.Pead@NOTTINGHAM.AC.UK) wrote:
>> ... Is there a RISC-OS hosted TeXinfo viewer?
>
>There isn't a TeXinfo viewer on any platform as far as I know. TeXinfo
>is designed as a source format that can be converted to TeX for printed
>manuals, info or HTML for online browsing, etc.
>
>IIRC there is a TeXinfo to StrongHelp converter around, and it can always
>be converted to HTML which can be viewed on RISC OS.

There is a RISC OS info viewer, which is a port of a GNU one I think.  The
version I looked at seemed to be something of a quick hack.  It wasn't
at all wimp-ified anyway.

Olly