diff options
Diffstat (limited to 'doc/manual/scripting.txt')
-rw-r--r-- | doc/manual/scripting.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/scripting.txt b/doc/manual/scripting.txt index a4629bac..b3d5a156 100644 --- a/doc/manual/scripting.txt +++ b/doc/manual/scripting.txt @@ -1,4 +1,4 @@ -/** @page scripting OpenOCD Scripting Overview +/** @page scripting Scripting Overview @section scriptingisnt What scripting will not do |