Add .info extension to @setfilename commands in doc/

[gnu-emacs] / doc / misc / pgg.texi

diff --git a/doc/misc/pgg.texi b/doc/misc/pgg.texi
index 53c66c8fb34d010b73ccedbd68f204b3fd06a5ea..193f7f7830469160b1057834157a510d1f23be6a 100644 (file)
--- a/doc/misc/pgg.texi
+++ b/doc/misc/pgg.texi
@@ -2,7 +2,7 @@
 
 @include gnus-overrides.texi
 
-@setfilename ../../info/pgg
+@setfilename ../../info/pgg.info
 
 @set VERSION 0.1
 @settitle PGG @value{VERSION}