@direntry
* Gnus: (gnus). The newsreader Gnus.
@end direntry
-@iftex
-@iflatex
@documentencoding ISO-8859-1
-@end iflatex
+@iftex
@finalout
@end iftex
@setchapternewpage odd
@c Local Variables:
@c mode: texinfo
-@c coding: utf-8
+@c coding: iso-8859-1
@c End: