From 1afa12005ca84d549bddf31cc8a39308b7bdd197 Mon Sep 17 00:00:00 2001 From: Marc Schink Date: Sun, 15 Jun 2025 22:44:53 +0200 Subject: [PATCH] doc: Fix 'add_script_search_dir' usage The 'directory' parameter is not optional. Change-Id: Ifbc7b311692157dae0621dfa6d35a24b8fe8cbb2 Signed-off-by: Marc Schink Reviewed-on: https://review.openocd.org/c/openocd/+/8954 Reviewed-by: Antonio Borneo Tested-by: jenkins --- doc/openocd.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/openocd.texi b/doc/openocd.texi index 4ad66ee5f..ec856757d 100644 --- a/doc/openocd.texi +++ b/doc/openocd.texi @@ -9335,7 +9335,7 @@ Redirect logging to @var{filename}. If used without an argument or stderr. @end deffn -@deffn {Command} {add_script_search_dir} [directory] +@deffn {Command} {add_script_search_dir} directory Add @var{directory} to the file/script search path. @end deffn