[bug #36340] 'make html' fails

[Mads Kiilerich]

URL:
  <http://savannah.gnu.org/bugs/?36340>

                 Summary: 'make html' fails
                 Project: GNU GRUB
            Submitted by: kiilerix
            Submitted on: Sun 29 Apr 2012 10:49:36 PM GMT
                Category: Installation
                Severity: Major
                Priority: 5 - Normal
              Item Group: Software Error
                  Status: None
                 Privacy: Public
             Assigned to: None
         Originator Name: 
        Originator Email: 
             Open/Closed: Open
         Discussion Lock: Any
                 Release: 
                 Release: Bazaar - trunk
         Reproducibility: None
         Planned Release: None

    _______________________________________________________

Details:

'make html' fails with
grub-dev.texi:1692: @image file `font_char_metrics..png' (for HTML) not
readable: No such file or directory.
on the line
@image{font_char_metrics,,,,.png}

Removing the . from png makes it work ... apparently contrary to what makeinfo
documentation says. Leaving the extension out works for html - but might break
for other formats.

(Depending on how this is fixed, the next issues might be that other images
are completely missing and that 'make install-html' doesn't install the
images.)




    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?36340>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/