[PATCH] doc: document config_directory and config_file variables

[Andrey Borzenkov]

People are using this variable and it should be documented.

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

diff --git a/docs/grub.texi b/docs/grub.texi
index b9f41a7..db765a3 100644
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -3038,6 +3038,8 @@ These variables have special meaning to GRUB.
 * cmdpath::
 * color_highlight::
 * color_normal::
+* config_directory::
+* config_file::
 * debug::
 * default::
 * fallback::
@@ -3180,6 +3182,22 @@ matching colors of first half.
 to support whole rgb24 palette but currently there is no compelling reason
 to go beyond the current 16 colors.
 
+
address@hidden config_directory
address@hidden config_directory
+
+This variable is automatically set by GRUB to the directory part of
+current configuration file name (@pxref{config_file}).
+
+
address@hidden config_file
address@hidden config_file
+
+This variable is automatically set by GRUB to the name of configuration file 
that is being
+processed by commands @command{configfile} (@pxref{configfile}) or 
@command{normal}
+(@pxref{normal}).  It is restored to the previous value when command completes.
+
+
 @node debug
 @subsection debug
 
-- 
tg: (c1fbc26..) u/config_directory (depends on: master)