summaryrefslogtreecommitdiff
path: root/doc/misc/sem-user.texi
diff options
context:
space:
mode:
Diffstat (limited to 'doc/misc/sem-user.texi')
-rw-r--r--doc/misc/sem-user.texi4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/misc/sem-user.texi b/doc/misc/sem-user.texi
index b8625932f7c..30556569cbb 100644
--- a/doc/misc/sem-user.texi
+++ b/doc/misc/sem-user.texi
@@ -416,11 +416,11 @@ Customize the system include path for the current major mode (or
@var{mode}).
@end deffn
-@defun semanticdb-implied-include-tags
+@defvar semanticdb-implied-include-tags
Include tags implied for all files of a given mode. You can set this
variable with @code{defvar-mode-local} for a particular mode so that
any symbols that exist for all files for that mode are included.
-@end defun
+@end defvar
@c @xref{Search Optimization}, for more information on include paths.