diff options
Diffstat (limited to 'doc/misc/pgg.texi')
| -rw-r--r-- | doc/misc/pgg.texi | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/misc/pgg.texi b/doc/misc/pgg.texi index 3ca26af7b0d..9bdb1eaa216 100644 --- a/doc/misc/pgg.texi +++ b/doc/misc/pgg.texi @@ -1,7 +1,4 @@ \input texinfo @c -*-texinfo-*- - -@include overrides.texi - @setfilename ../../info/pgg @settitle PGG @value{VERSION} @@ -33,12 +30,7 @@ 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 |