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: 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





reply via email to

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