Redundant @documentencoding

diff --git a/doc/index.texi b/doc/index.texi
index 2b1de3bbf4fe3be97a68c45ddabcc39f4d52a16b..d1d8bdf96ad3b85b1817bd60a4349554fe21f573 100644 (file)
--- a/doc/index.texi
+++ b/doc/index.texi
@@ -1,5 +1,4 @@
 \input texinfo
-@documentencoding UTF-8
 @settitle feeder
 
 @copying