Add .info extension to @setfilename commands in doc/

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

diff --git a/doc/misc/semantic.texi b/doc/misc/semantic.texi
index b72fb3c88cf12d03255752764fd5ed890142053f..9b9f29f1f191eb809e13add65e9ed2e4c14dc4ca 100644 (file)
--- a/doc/misc/semantic.texi
+++ b/doc/misc/semantic.texi
@@ -1,5 +1,5 @@
 \input texinfo
-@setfilename ../../info/semantic
+@setfilename ../../info/semantic.info
 @set TITLE  Semantic Manual
 @set AUTHOR Eric M. Ludlam, David Ponce, and Richard Y. Kim
 @settitle @value{TITLE}
@@ -32,7 +32,7 @@ Foundation, Inc.
 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.''