summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Bernoulli <jonas@bernoul.li>2022-08-10 13:48:25 +0200
committerJonas Bernoulli <jonas@bernoul.li>2022-08-10 13:48:25 +0200
commit3b8b2e005195a53c4511880b49c10a273ed84ec8 (patch)
tree4318ca50c3dbc2beb309e15b1276f48f1be38cf8
parentcfcbc2731e402b9169c0dc03e89b5b57aa988502 (diff)
manual: Use @insertcopying
-rw-r--r--docs/with-editor.org14
1 files changed, 1 insertions, 13 deletions
diff --git a/docs/with-editor.org b/docs/with-editor.org
index b849733..50f3039 100644
--- a/docs/with-editor.org
+++ b/docs/with-editor.org
@@ -29,19 +29,7 @@ don't use Magit or another package which uses it internally.
#+texinfo: @noindent
This manual is for With-Editor version 3.2.0-git.
-#+begin_quote
-Copyright (C) 2015-{{{year}}} Jonas Bernoulli <jonas@bernoul.li>
-
-You can redistribute this document and/or modify it under the terms
-of the GNU General Public License as published by the Free Software
-Foundation, either version 3 of the License, or (at your option) any
-later version.
-
-This document is distributed in the hope that it will be useful,
-but WITHOUT ANY WARRANTY; without even the implied warranty of
-MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
-General Public License for more details.
-#+end_quote
+#+texinfo: @insertcopying
:END:
* Using the With-Editor package