Hi!

You wrote:

>file:/usr/share/doc I believe :)  You may prefer to have them printed
>and bound anyway, of course.

Thanks for pointing them out. The files obviously contain formatting codes. 

What formatter are they for, please? Another totally trivial question for
someone with the docs, of course! Catch 22.

TIA.


-- 
*** Stuart Bell (sabell@argonet.co.uk)        Running Risc OS and ***
***      RiscBSD on an Acorn Risc PC in a Wintel-free environment ***