Make most emulation packages obsolete. [Backport]

[gnu-emacs] / doc / misc / sem-user.texi

diff --git a/doc/misc/sem-user.texi b/doc/misc/sem-user.texi
index f483c899bf2bb5c242ca21399ffd4cc6c574333c..ebd301cf5f9f920e30aa123ee736eeae79261562 100644 (file)
--- a/doc/misc/sem-user.texi
+++ b/doc/misc/sem-user.texi
@@ -1,13 +1,7 @@
-@c This file is included by semantic.texi
-
-@c Copyright (C) 1999-2005, 2007, 2009-2012 Free Software Foundation, Inc.
-
-@c Permission is granted to copy, distribute and/or modify this
-@c document under the terms of the GNU Free Documentation License,
-@c Version 1.3 or any later version published by the Free Software
-@c Foundation; with no Invariant Sections, no Front-Cover Texts, and
-@c no Back-Cover Texts.  A copy of the license is included in the
-@c section entitled ``GNU Free Documentation License''.
+@c This is part of the Semantic manual.
+@c Copyright (C) 1999-2005, 2007, 2009-2014 Free Software Foundation,
+@c Inc.
+@c See file semantic.texi for copying conditions.
 
 You can begin using @semantic{} by enabling Semantic mode, a global
 minor mode: type @kbd{M-x semantic-mode}, or open the @samp{Tools}
@@ -422,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.
 
@@ -489,9 +483,9 @@ for them once, which will be used over and over for tools such as
 summary-mode, or the analyzer.
 
 @deffn Command semanticdb-create-ebrowse-database dir
-Create an @var{ebrowse} database for directory @var{dir}.
-The database file is stored in ~/.semanticdb, or whichever directory
-is specified by @code{semanticdb-default-system-save-directory}.
+Create an Ebrowse database for directory @var{dir}.  The database file
+is stored in ~/.semanticdb, or whichever directory is specified by
+@code{semanticdb-default-system-save-directory}.
 @end deffn
 
 @node Idle Scheduler
@@ -909,12 +903,12 @@ at a given buffer position.  The return value is an EIEIO object
 describing the context at @var{pos} (@pxref{Top,,,eieio,EIEIO
 manual}).
 
-When called interactively, this displays a @samp{*Semantic Context
+When called interactively, this displays a @file{*Semantic Context
 Analysis*} buffer containing a summary of the context at point.
 @end deffn
 
 @noindent
-The Prefix section of the @samp{*Semantic Context Analysis*} buffer
+The Prefix section of the @file{*Semantic Context Analysis*} buffer
 lists the tags based on the text at point.  If it shows only a simple
 string, the Semantic was unable to identify what the data type was.
 
@@ -989,7 +983,7 @@ If your symbol should be in the scope, but you cannot find it, then
 you may have found a language support bug in the local-variable
 parser, or using statement parser.
 
-Calling @kbd{M-x bovinte} should force a reset on the scope in case
+Calling @kbd{M-x bovinate} should force a reset on the scope in case
 there is merely some bad state.
 
 @example
@@ -1020,7 +1014,7 @@ fully qualified names.  You can examine the typecache with
 @kbd{M-x semanticdb-typecache-dump}.
 
 If your data types are not in the typecache, there may be some parsing
-error or other bug.  Calling @kbd{M-x bovinte} should force a reset on
+error or other bug.  Calling @kbd{M-x bovinate} should force a reset on
 the typecache in case there is merely some bad state.
 
 @example
@@ -1309,7 +1303,7 @@ You can create new types of decorations using the following function:
 Define a new decoration style with @var{name}.
 @var{doc} is a documentation string describing the decoration style @var{name}.
 It is appended to auto-generated doc strings.
-An Optional list of @var{flags} can also be specified.  Flags are:
+An optional list of @var{flags} can also be specified.  Flags are:
   @code{:enabled} <value>  - specify the default enabled value for @var{name}.