From 63026d8af38da0a380ef3db40c2a9911fc196e26 Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Sun, 28 Feb 2021 14:27:28 -0800
Subject: [PATCH] * 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 03cce5bf335..4a6150cf9db 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
-- 
2.39.2