On Fri, 30 Nov 2001, Sheldon Hearn wrote:
> | Can you grep the info file? Or load it as one text into a text editor?
>
> Yes.
>
> | I suspect not, since it is in fact a whole collection of files.
>
> What makes you say that? It's a single file.
That shows up my ignorance of the info system. When I run makeinfo on my
system for the spec file, it makes it into 23 files called spec.info,
spec.info-1, spec.info-2, etc. Presumably you use some way of
configuring it that makes only one file?
--
Philip Hazel University of Cambridge Computing Service,
ph10@??? Cambridge, England. Phone: +44 1223 334714.
