bug-grub
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GRUB 0.94 is released


From: cr
Subject: Re: GRUB 0.94 is released
Date: Mon, 26 Jan 2004 21:12:36 +1300

On Mon, 26 Jan 2004 12:28, Yoshinori K. Okuji wrote:
> On Sunday 25 January 2004 22:51, cr wrote:
> > I just tried to download the manual from
> > ftp://alpha.gnu.org/gnu/grub/ but the 0.94 .tgz file I downloaded
> > didn't include the manual.
>
> What do you mean? It does include the manual.

My apologies, you're right.   It's in a subdirectory 'docs' as
grub.info and grub.texi.    I missed it the first time I looked (I've got 
HTML on the brain  :) 

> > So I downloaded the manual from
> > http://www.gnu.org/software/grub/manual/grub.html
> > but it says it's the 0.93 manual.
>
> I know this problem, but I haven't fixed it yet. It is actually 0.94.
>
> > (By the way, the 0.93 HTML manual has a minor bug - all the way from
> > "How to boot an OS directly with Grub' on down, large chunks are in
> > bold type. And the reason seems to be, many headings are tagged like
> > this: <h3 class="subsection">How to boot an OS directly with
> > GRUB</h4>
>
> Wow, that's too bad. It must be a bug in texinfo. I'll report this
> problem to the maintainer.
>
> Thanks,
> Okuji

No, the thanks are due to you for all your work on Grub.

Regards

cr




reply via email to

[Prev in Thread] Current Thread [Next in Thread]