--- pgg.texi.~6.2.~	2002-10-04 03:35:26.000000000 +0200
+++ pgg.texi	2003-03-16 22:26:17.000000000 +0100
@@ -1,6 +1,6 @@
 \input texinfo                  @c -*-texinfo-*-
 
-@setfilename pgg.info
+@setfilename pgg
 
 @set VERSION 0.1