From: Colin Watson <cjwatson@ubuntu.com>
Date: Fri, 29 Nov 2013 13:48:23 +0000 (+0000)
Subject: Fix "make -C docs dvi"
X-Git-Tag: grub-2.02-beta1~185
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8ddf84bfb8df5ae06498c98e336f359628a6c5ef;p=thirdparty%2Fgrub.git

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 346c01b83..ad8356344 100644
--- 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 ff79e51b0..c79685052 100644
--- 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.