vbatts/grub
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

* docs/grub.texi: Remove dot from the extension as it apparently

Browse source 
doesn't work with some makeinfo versions.
This commit is contained in:
Vladimir 'phcoder' Serbinenko 2012-05-03 17:16:35 +02:00
parent fbd8dca681
commit 01aab9978f
2 changed files with 7 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
docs/grub.texi
View file

@ -1579,11 +1579,11 @@ fit on screen, do ``set pager=1'' before executing ``lsfonts''.
@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