Redundant @documentencoding

diff --git a/doc/index.texi b/doc/index.texi
index 7842ca8c2b511d29150b9b811f87b21f64cce0ef..7bf82643f6062ac4552107f9270b356c4ea847b3 100644 (file)
--- a/doc/index.texi
+++ b/doc/index.texi
@@ -1,5 +1,4 @@
 \input texinfo
-@documentencoding UTF-8
 @settitle mmc
 
 @copying