grub/docs
Colin Watson 8ddf84bfb8 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.
2013-11-29 13:48:23 +00:00
..
man * docs/man/grub-glue-efi.h2m: Add missing file. 2013-04-13 02:26:34 +02:00
autoiso.cfg * docs/autoiso.cfg: New file. 2013-10-27 20:34:24 +01:00
fdl.texi 2008-03-01 Yoshinori K. Okuji <okuji@enbug.org> 2008-03-01 17:27:51 +00:00
font_char_metrics.png GRUB developper manual based on existing Internals section and 2011-04-03 15:30:28 +02:00
font_char_metrics.txt GRUB developper manual based on existing Internals section and 2011-04-03 15:30:28 +02:00
grub-dev.texi Fix "make -C docs dvi" 2013-11-29 13:48:23 +00:00
grub.cfg * docs/grub.cfg: Update. 2012-05-04 00:30:15 +02:00
grub.texi Fix command description in case of a device name passed as argument. 2013-11-28 17:25:52 +04:00
Makefile.am Fix make dist. 2012-02-28 12:58:57 +01:00
mdate-sh 2008-03-01 Yoshinori K. Okuji <okuji@enbug.org> 2008-03-01 17:27:51 +00:00
osdetect.cfg * docs/osdetect.cfg: New file. 2013-10-26 18:39:03 +02:00
texinfo.tex remove all trailing whitespace 2009-06-10 21:04:23 +00:00