From 7243c73e65e260476dc6ddb900b2d3367583aebc Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Fri, 14 Apr 2023 12:18:01 +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 ede516f..b08e06a 100644 --- a/doc/index.texi +++ b/doc/index.texi @@ -1,5 +1,4 @@ \input texinfo -@documentencoding UTF-8 @settitle NNCP @copying -- 2.44.0