Add .info extension to @setfilename commands in doc/

[gnu-emacs] / doc / misc / bovine.texi

diff --git a/doc/misc/bovine.texi b/doc/misc/bovine.texi
index 978345e5cc8c2f57bc46cb541e0310e990b47be2..28c75f8a58a74ca3ab1c1d97a9aeab50b1ea38f1 100644 (file)
--- a/doc/misc/bovine.texi
+++ b/doc/misc/bovine.texi
@@ -1,9 +1,10 @@
 \input texinfo  @c -*-texinfo-*-
 @c %**start of header
-@setfilename ../../info/bovine
+@setfilename ../../info/bovine.info
 @set TITLE  Bovine parser development
 @set AUTHOR Eric M. Ludlam, David Ponce, and Richard Y. Kim
 @settitle @value{TITLE}
+@documentencoding UTF-8
 
 @c *************************************************************************
 @c @ Header
@@ -23,13 +24,13 @@
 @c %**end of header
 
 @copying
-Copyright @copyright{} 1999--2004, 2012--2013 Free Software Foundation, Inc.
+Copyright @copyright{} 1999--2004, 2012--2014 Free Software Foundation, Inc.
 
 @quotation
 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''.
 
@@ -76,7 +77,7 @@ The @dfn{bovine} parser is the original @semantic{} parser, and is an
 implementation of an @acronym{LL} parser.  It is good for simple
 languages.  It has many conveniences making grammar writing easy.  The
 conveniences make it less powerful than a Bison-like @acronym{LALR}
-parser.  For more information, @inforef{top, the Wisent Parser Manual,
+parser.  For more information, @inforef{Top, The Wisent Parser Manual,
 wisent}.
 
 Bovine @acronym{LL} grammars are stored in files with a @file{.by}