Redundant @documentencoding

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