openocd-org/openocd
1
0
Fork 0
mirror of https://github.com/openocd-org/openocd.git synced 2025-10-14 02:58:23 +08:00
Code Issues Packages Projects Releases Wiki Activity

doc: Fix 'add_script_search_dir' usage

Browse Source 
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
This commit is contained in:
Marc Schink
2025-06-15 22:44:53 +02:00
committed by Antonio Borneo
parent 82dc399e5e
commit 1afa12005c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
doc/openocd.texi
View 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