From 8f803a5d1f25c12aa030f642bc70e3b1d19bf5e5 Mon Sep 17 00:00:00 2001 From: Jordan Uggla Date: Tue, 22 May 2012 09:15:28 +0200 Subject: [PATCH] * docs/grub-dev.texi: Remove dot from .png. --- ChangeLog | 4 ++++ docs/grub-dev.texi | 2 +- 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 9c734d9c2..c6a18945d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2012-05-22 Jordan Uggla + + * docs/grub-dev.texi: Remove dot from .png. + 2012-05-22 Vladimir Serbinenko * grub-core/partmap/gpt.c (grub_gpt_partition_map_iterate): Accept diff --git a/docs/grub-dev.texi b/docs/grub-dev.texi index 51b47872d..a4a38206e 100644 --- a/docs/grub-dev.texi +++ b/docs/grub-dev.texi @@ -1689,7 +1689,7 @@ 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} +@image{font_char_metrics,,,,png} An illustration of how the various font metrics apply to characters.