--- texi/gnus-faq.texi	2003-04-19 22:32:08.000000000 +0200
+++ texi/gnus-faq.texi.new	2003-04-20 19:04:24.000000000 +0200
@@ -1,6 +1,6 @@
 \input texinfo                  @c -*-texinfo-*-\input texinfo
 
-@setfilename gnus-faq.info
+@setfilename gnus-faq
 @settitle The Gnus FAQ.
 @dircategory Emacs
 @direntry