From 8ddf84bfb8df5ae06498c98e336f359628a6c5ef Mon Sep 17 00:00:00 2001 From: Colin Watson Date: Fri, 29 Nov 2013 13:48:23 +0000 Subject: [PATCH] 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. --- ChangeLog | 6 ++++++ docs/grub-dev.texi | 4 +++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 346c01b83..ad8356344 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,9 @@ +2013-11-29 Colin Watson + + * 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 * 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.