[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GRUB 0.94 is released
From: |
Yoshinori K. Okuji |
Subject: |
Re: GRUB 0.94 is released |
Date: |
Mon, 26 Jan 2004 00:28:36 +0100 |
User-agent: |
KMail/1.5.3 |
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.
> 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