From e5508fa80f2e838077752d8c75f38be54e7fb417 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Fri, 14 Apr 2023 12:13:40 +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 2b1de3b..d1d8bdf 100644 --- a/doc/index.texi +++ b/doc/index.texi @@ -1,5 +1,4 @@ \input texinfo -@documentencoding UTF-8 @settitle feeder @copying -- 2.44.0