Fix setfilename.

diff --git a/texi/ChangeLog b/texi/ChangeLog
index fd9569a..d60bb3b 100644 (file)
--- a/texi/ChangeLog
+++ b/texi/ChangeLog
@@ -1,3 +1,8 @@
+2003-03-17  Simon Josefsson  <jas@extundo.com>
+
+       * pgg.texi: Fix setfilename.  Tiny patch by Frank Haun
+       <pille3003@fhaun.de>.
+
 2003-03-09  Paul Jarc  <prj@po.cwru.edu>
 
        * gnus.texi (Top): Added menu item for Maildir node.

diff --git a/texi/pgg.texi b/texi/pgg.texi
index 69b18b9..fc15392 100644 (file)
--- a/texi/pgg.texi
+++ b/texi/pgg.texi
@@ -1,6 +1,6 @@
 \input texinfo                  @c -*-texinfo-*-
 
-@setfilename pgg.info
+@setfilename pgg
 
 @set VERSION 0.1