Add .info extension to @setfilename commands in doc/

[bpt/emacs.git] / doc / misc / wisent.texi

diff --git a/doc/misc/wisent.texi b/doc/misc/wisent.texi
index 3ee080f..b5d7899 100644 (file)
--- a/doc/misc/wisent.texi
+++ b/doc/misc/wisent.texi
@@ -1,6 +1,6 @@
 \input texinfo  @c -*-texinfo-*-
 @c %**start of header
-@setfilename ../../info/wisent
+@setfilename ../../info/wisent.info
 @set TITLE  Wisent Parser Development
 @set AUTHOR Eric M. Ludlam, David Ponce, and Richard Y. Kim
 @settitle @value{TITLE}
@@ -39,7 +39,7 @@ of Bison version 1.49.
 Permission is granted to copy, distribute and/or modify this document
 under the terms of the GNU Free Documentation License, Version 1.3 or
 any later version published by the Free Software Foundation; with no
-Invariant Sections, with the Front-Cover texts being ``A GNU Manual,''
+Invariant Sections, with the Front-Cover Texts being ``A GNU Manual,''
 and with the Back-Cover Texts as in (a) below.  A copy of the license
 is included in the section entitled ``GNU Free Documentation License''.
 
@@ -689,7 +689,7 @@ Toggle whether to report verbose information on generated parser.
 @end deffn
 
 The verbose report is printed in the temporary buffer
-@code{*wisent-log*} when running interactively, or in file
+@file{*wisent-log*} when running interactively, or in file
 @file{wisent.output} when running in batch mode.  Different
 reports are separated from each other by a line like this:
 
@@ -760,7 +760,7 @@ Grammar contains 7 shift/reduce conflicts
 @end group
 @end example
 
-The @samp{*wisent-log*} buffer details things!
+The @file{*wisent-log*} buffer details things!
 
 The first section reports conflicts that were solved using precedence
 and/or associativity:
@@ -1443,7 +1443,7 @@ tokens (@pxref{Useful functions}).
 @defun wisent-skip-token
 @anchor{wisent-skip-token}
 Skip the lookahead token in order to resume parsing.
-Return nil.
+Return @code{nil}.
 Must be used in error recovery semantic actions.
 
 It typically looks like this:
@@ -1463,7 +1463,7 @@ It typically looks like this:
 @findex wisent-skip-block
 @defun wisent-skip-block
 Safely skip a block in order to resume parsing.
-Return nil.
+Return @code{nil}.
 Must be used in error recovery semantic actions.
 
 A block is data between an open-delimiter (syntax class @code{(}) and