+2012-05-03 Vladimir Serbinenko <phcoder@gmail.com>
+
+ * docs/grub.texi: Remove dot from the extension as it apparently
+ doesn't work with some makeinfo versions.
+
2012-05-03 Vladimir Serbinenko <phcoder@gmail.com>
* po/Makefile.in.in: Make msgfmt output in little-endian in accordance
@subsection Progress Bar
@float Figure, Pixmap-styled progress bar
-@c @image{Theme_progress_bar,,,,.png}
+@c @image{Theme_progress_bar,,,,png}
@end float
@float Figure, Plain progress bar, drawn with solid color.
-@c @image{Theme_progress_bar_filled,,,,.png}
+@c @image{Theme_progress_bar_filled,,,,png}
@end float
Progress bars are used to display the remaining time before GRUB boots the