Redundant @documentencoding

[goredo.git] / doc / index.texi

diff --git a/doc/index.texi b/doc/index.texi
index 1993448afbe9424a22535723f85f43dedaca0889..7363fa4c2929b2f0f441efb69751315200611034 100644 (file)
--- a/doc/index.texi
+++ b/doc/index.texi
@@ -1,5 +1,4 @@
 \input texinfo
-@documentencoding UTF-8
 @settitle goredo
 
 @copying