From 2060f17ecce0eb3d89c98cbb3fe6d62ca26d40fd Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 25 Oct 2022 17:57:13 +0300 Subject: [PATCH] Missing copying --- doc/index.texi | 2 ++ 1 file changed, 2 insertions(+) diff --git a/doc/index.texi b/doc/index.texi index 6ffbfea..ed3bd99 100644 --- a/doc/index.texi +++ b/doc/index.texi @@ -97,6 +97,8 @@ Web fonts downloads are forbidden. @end itemize +@insertcopying + @include why.texi @include usage.texi @include spies.texi -- 2.44.0