helper/options: Use OPENOCD_SCRIPTS dir if set.

[openocd] / doc / openocd.texi

diff --git a/doc/openocd.texi b/doc/openocd.texi
index 0608a28d231060c8b04dc45c8b7361cb6d4bf8cd..1248727d3895f27f3bf2273735ea518e79dece6e 100644 (file)
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -700,6 +700,7 @@ Configuration files and scripts are searched for in
 @item any search dir specified on the command line using the @option{-s} option,
 @item any search dir specified using the @command{add_script_search_dir} command,
 @item @file{$HOME/.openocd} (not on Windows),
+@item a directory in the @env{OPENOCD_SCRIPTS} environment variable (if set),
 @item the site wide script library @file{$pkgdatadir/site} and
 @item the OpenOCD-supplied script library @file{$pkgdatadir/scripts}.
 @end enumerate