mirror of
https://git.proxmox.com/git/grub2
synced 2025-07-25 05:31:22 +00:00
![]() * 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. |
||
---|---|---|
.. | ||
man | ||
autoiso.cfg | ||
fdl.texi | ||
font_char_metrics.png | ||
font_char_metrics.txt | ||
grub-dev.texi | ||
grub.cfg | ||
grub.texi | ||
Makefile.am | ||
mdate-sh | ||
osdetect.cfg | ||
texinfo.tex |