Fix "make -C docs dvi"

* docs/grub-dev.texi (Font Metrics): Exclude @image command from DVI
builds, since we don't have an EPS version of font_char_metrics.png.
Add leading dot to image extension per the Texinfo documentation.

diff --git a/ChangeLog b/ChangeLog
index 346c01b..ad83563 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2013-11-29  Colin Watson  <cjwatson@ubuntu.com>
+
+       * docs/grub-dev.texi (Font Metrics): Exclude @image command from DVI
+       builds, since we don't have an EPS version of font_char_metrics.png.
+       Add leading dot to image extension per the Texinfo documentation.
+
 2013-11-29  Colin Watson  <cjwatson@ubuntu.com>
 
        * util/grub-gen-asciih.c: Include FT_SYNTHESIS_H rather than

diff --git a/docs/grub-dev.texi b/docs/grub-dev.texi
index ff79e51..c796850 100644 (file)
--- a/docs/grub-dev.texi
+++ b/docs/grub-dev.texi
@@ -1812,7 +1812,9 @@ right edges of two adjacent glyphs.  The @strong{device width} field determines
 the effective leading value that is used to render the font.
 
 @end itemize
-@image{font_char_metrics,,,,png}
+@ifnottex
+@image{font_char_metrics,,,,.png}
+@end ifnottex
    
 An illustration of how the various font metrics apply to characters.