* doc/misc/sem-user.texi (Include paths): Fix a Texinfo command.

diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog
index 33f6057..cdd2550 100644 (file)
--- a/doc/misc/ChangeLog
+++ b/doc/misc/ChangeLog
@@ -1,3 +1,7 @@
+2014-01-30  Xue Fuqiao  <xfq.free@gmail.com>
+
+       * sem-user.texi (Include paths): Fix a Texinfo command.
+
 2014-01-27  Glenn Morris  <rgm@gnu.org>
 
        * idlwave.texi (Lesson III---User Catalog, Online Help)

diff --git a/doc/misc/sem-user.texi b/doc/misc/sem-user.texi
index b862593..3055656 100644 (file)
--- 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.