* doc/misc/modus-themes.org: Add copying markup. (Bug#45141)

diff --git a/doc/misc/modus-themes.org b/doc/misc/modus-themes.org
index 03cce5bf335080ac91b1071fa1c756d9d8929a4a..4a6150cf9dbe7d7de5387b5a5d5ce452e9ce96d3 100644 (file)
--- a/doc/misc/modus-themes.org
+++ b/doc/misc/modus-themes.org
@@ -8,6 +8,8 @@
 #+MACRO: version-tag 0.13.0
 #+MACRO: release-date 2020-10-08
 
+#+texinfo: @insertcopying
+
 This manual, written by Protesilaos Stavrou, describes the customization
 options for the =modus-operandi= and =modus-vivendi= themes, and provides
 every other piece of information pertinent to them.
@@ -17,6 +19,11 @@ released on {{{release-date}}}.  Any reference to a newer feature which does
 not yet form part of the latest tagged commit, is explicitly marked as
 such.
 
+* Copying
+:PROPERTIES:
+:copying:  t
+:END:
+
 Copyright (C) 2020--2021 Free Software Foundation, Inc.
 
 #+begin_quote