[PATCH] document cmdpath environment variable

[Andrey Borzenkov]

---
 docs/grub.texi | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/docs/grub.texi b/docs/grub.texi
index 0a9670f..de72d0c 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -2989,6 +2989,7 @@ These variables have special meaning to GRUB.
 * biosnum::
 * check_signatures::
 * chosen::
+* cmdpath::
 * color_highlight::
 * color_normal::
 * debug::
@@ -3058,6 +3059,16 @@ the titles of each of the submenus starting from the top 
level followed by
 the title of the menu entry itself, separated by @samp{>}.
 
 
address@hidden cmdpath
address@hidden cmdpath
+
+The location from which @file{core.img} was loaded as an absolute
+directory name (@pxref{File name syntax}).  This is set by GRUB at
+startup based on information returned by platform firmware.  Not every
+platform provides this information and some may return only device
+without path name.
+
+
 @node color_highlight
 @subsection color_highlight
 
-- 
tg: (59ba9d1..) u/cmdpath_doc (depends on: master)