Add .info extension to @setfilename commands in doc/

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

diff --git a/doc/misc/ede.texi b/doc/misc/ede.texi
index 89e576b..c61a32c 100644 (file)
--- a/doc/misc/ede.texi
+++ b/doc/misc/ede.texi
@@ -1,5 +1,5 @@
 \input texinfo
-@setfilename ../../info/ede
+@setfilename ../../info/ede.info
 @settitle Emacs Development Environment
 @documentencoding UTF-8