Subject: Re: ``RiscBSD Documentation Project''
To: None <port-arm32@NetBSD.ORG>
From: Tom Hughes <tom@COMPTON.DEMON.CO.UK>
List: port-arm32
Date: 07/09/1996 17:01:14
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.

Tom

-- 
Tom Hughes (tom@compton.demon.co.uk)
13 Priory Close, Hoddesdon, Herts EN11 8DB
...You are always busy.