Julio Merino writes: > When you have a texinfo file you can then convert it to html, ascii > text or whatever you want.
I know this. I'll RTFInfo. > Take a look at the grub info file. Mainly you have to do this: <snip> thanks for that. I'll look at both these issues when I'm back from being at home for a week (where I will have very little net access). I'll try and do the texinfo stuff while I'm at home, but won't upload it 'til I return... Thanks for the feedback, Matthew -- Rapun.sel - outermost outpost of the Pick Empire http://www.pick.ucam.org -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

