diff options
Diffstat (limited to 'runtime/doc/tags')
-rw-r--r-- | runtime/doc/tags | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/runtime/doc/tags b/runtime/doc/tags index 6ad9022591..dcd8db7e2a 100644 --- a/runtime/doc/tags +++ b/runtime/doc/tags @@ -10186,6 +10186,7 @@ syntax-latex syntax.txt /*syntax-latex* syntax-loading syntax.txt /*syntax-loading* syntax-printing usr_06.txt /*syntax-printing* syntax-tex syntax.txt /*syntax-tex* +syntax-vs-match pattern.txt /*syntax-vs-match* syntax.txt syntax.txt /*syntax.txt* syntax_cmd syntax.txt /*syntax_cmd* sys-file-list help.txt /*sys-file-list* |