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

[Glenn Morris]

branch: master
commit 63026d8af38da0a380ef3db40c2a9911fc196e26
Author: Glenn Morris <rgm@gnu.org>
Commit: Glenn Morris <rgm@gnu.org>

    * doc/misc/modus-themes.org: Add copying markup.  (Bug#45141)
---
 doc/misc/modus-themes.org | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/doc/misc/modus-themes.org b/doc/misc/modus-themes.org
index 03cce5b..4a6150c 100644
--- 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