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