From b4eefdd675c9aef9ff8bd1089d031ee05733195b Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Fri, 14 Apr 2023 12:14:38 +0300 Subject: [PATCH] Redundant @documentencoding --- doc/index.texi | 1 - 1 file changed, 1 deletion(-) diff --git a/doc/index.texi b/doc/index.texi index 1993448..7363fa4 100644 --- a/doc/index.texi +++ b/doc/index.texi @@ -1,5 +1,4 @@ \input texinfo -@documentencoding UTF-8 @settitle goredo @copying -- 2.44.0