diff options
Diffstat (limited to 'doc/misc/erc.texi')
-rw-r--r-- | doc/misc/erc.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/erc.texi b/doc/misc/erc.texi index 9cdfe7702e5..9e570da3d1d 100644 --- a/doc/misc/erc.texi +++ b/doc/misc/erc.texi @@ -2,9 +2,9 @@ @c %**start of header @setfilename ../../info/erc.info @settitle ERC Manual +@include docstyle.texi @syncodeindex fn cp @include emacsver.texi -@documentencoding UTF-8 @c %**end of header @copying |