]> www.infradead.org Git - users/borneoa/openocd-next.git/commitdiff
doc: Fix 'add_script_search_dir' usage
authorMarc Schink <dev@zapb.de>
Sun, 15 Jun 2025 20:44:53 +0000 (22:44 +0200)
committerAntonio Borneo <borneo.antonio@gmail.com>
Sat, 21 Jun 2025 07:37:03 +0000 (07:37 +0000)
The 'directory' parameter is not optional.

Change-Id: Ifbc7b311692157dae0621dfa6d35a24b8fe8cbb2
Signed-off-by: Marc Schink <dev@zapb.de>
Reviewed-on: https://review.openocd.org/c/openocd/+/8954
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
Tested-by: jenkins
doc/openocd.texi

index 4ad66ee5f40b199c62a4c417b145672396d92bc6..ec856757d463cd263d4eedb32de65b7204452a96 100644 (file)
@@ -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