Add .info extension to @setfilename commands in doc/
[bpt/emacs.git] / doc / misc / wisent.texi
index dce853a..b5d7899 100644 (file)
@@ -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}