diff options
| author | Teodor Zlatanov <tzz@lifelogs.com> | 2011-02-06 00:25:41 +0000 |
|---|---|---|
| committer | Katsumi Yamaoka <yamaoka@jpl.org> | 2011-02-06 00:25:41 +0000 |
| commit | 7fbf7cae66482c80e93acb9864aad31cf29e5c83 (patch) | |
| tree | c180285fab30b12981b146679baa807896610d3b /doc/misc/pgg.texi | |
| parent | 4d881c83419fbdbcfc4ba8cc8b0ef88eb9c45ccd (diff) | |
| download | emacs-7fbf7cae66482c80e93acb9864aad31cf29e5c83.tar.gz | |
gnus-overrides.texi: Renamed from overrides.texi and all the relevant manuals use it now.
Makefile.in (nowebhack): Fixed to use -D flag instead of overrides.
Diffstat (limited to 'doc/misc/pgg.texi')
| -rw-r--r-- | doc/misc/pgg.texi | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc/misc/pgg.texi b/doc/misc/pgg.texi index 9bdb1eaa216..6efa3e6bb72 100644 --- a/doc/misc/pgg.texi +++ b/doc/misc/pgg.texi @@ -1,4 +1,7 @@ \input texinfo @c -*-texinfo-*- + +@include gnus-overrides.texi + @setfilename ../../info/pgg @settitle PGG @value{VERSION} @@ -30,7 +33,12 @@ developing GNU and promoting software freedom.'' @end direntry @titlepage +@ifset WEBHACKDEVEL +@title PGG (DEVELOPMENT VERSION) +@end ifset +@ifclear WEBHACKDEVEL @title PGG +@end ifclear @author by Daiki Ueno @page |