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/_______________________________________________
Bug-grub mailing list
Bug-grub@...
https://lists.gnu.org/mailman/listinfo/bug-grub
