[Top][All Lists]
[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