Missing copying

diff --git a/doc/index.texi b/doc/index.texi
index 6ffbfea2f2adf7ebb16dd33170bad853e671f156..ed3bd99d67c24f17d48d21bd6be62c7480377d7d 100644 (file)
--- 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