Minor documentation issue

Minor documentation issue

[Bruce Dubbs]

The web site still has the 2.00~rc1 manual.

I was asked a question about GRUB and CD-ROMS and checked the sites's 
html documentation.  There are at least two places where the html is 
generated from the texi file incorrectly.

texi:

* Installing GRUB using grub-install::
* Making a GRUB bootable CD-ROM::

html:

<li><a href="#Installing-GRUB-using-grub_002dinstall">3.1 Installing 
GRUB using grub-install</a>
<li><a href="#Making-a-GRUB-bootable-CD_002dROM">3.2 Making a GRUB 
bootable CD-ROM</a>

The _002d sequences (instead of a dash) in the hrefs show up in url 
address lines.  I'm sure this has something to do with texinfo, but I 
don't know how to fix it.

By the way, the html is not well formed.  There are many missing </li> tags.

   -- Bruce

Re: Minor documentation issue

[Mike Gilbert]

On Fri, Jun 29, 2012 at 11:32 AM, Bruce Dubbs <bruce.dubbs@gmail.com> wrote:
> By the way, the html is not well formed.  There are many missing </li> tags.

HTML 4 and earlier do not require closing tags for <li>.

Re: Minor documentation issue

[Bruce Dubbs]

Mike Gilbert wrote:
> On Fri, Jun 29, 2012 at 11:32 AM, Bruce Dubbs <bruce.dubbs@gmail.com> wrote:
>> By the way, the html is not well formed.  There are many missing </li> tags.
> 
> HTML 4 and earlier do not require closing tags for <li>.

Yes, you are right of course.  They are allowed though.  All my pages 
are xhtml strict, so I'm more used to them being required.

I'm a little more interested why some dash (ASCII 0x2d) characters are 
converted to _002d.  In href="#Making-a-GRUB-bootable-CD_002dROM" there 
are 3 dashes that are OK and one converted.

   -- Bruce

Re: Minor documentation issue

[Vladimir 'φ-coder/phcoder' Serbinenko]

[-- Attachment #1: Type: text/plain, Size: 928 bytes --]

On 29.06.2012 20:37, Bruce Dubbs wrote:

> Mike Gilbert wrote:
>> On Fri, Jun 29, 2012 at 11:32 AM, Bruce Dubbs <bruce.dubbs@gmail.com>
>> wrote:
>>> By the way, the html is not well formed.  There are many missing
>>> </li> tags.
>>
>> HTML 4 and earlier do not require closing tags for <li>.
> 
> Yes, you are right of course.  They are allowed though.  All my pages
> are xhtml strict, so I'm more used to them being required.
> 
> I'm a little more interested why some dash (ASCII 0x2d) characters are
> converted to _002d.  In href="#Making-a-GRUB-bootable-CD_002dROM" there
> are 3 dashes that are OK

These ones were originally spaces

 and one converted.
> 


>   -- Bruce
> 
> _______________________________________________
> Grub-devel mailing list
> Grub-devel@gnu.org
> https://lists.gnu.org/mailman/listinfo/grub-devel
> 



-- 
Regards
Vladimir 'φ-coder/phcoder' Serbinenko


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 294 bytes --]