From 14a958d4f2fc932db1c1af30ca405e6570d60e24 Mon Sep 17 00:00:00 2001 From: Jonas Bernoulli Date: Wed, 10 Aug 2022 13:59:49 +0200 Subject: manual: Regenerate texi --- docs/with-editor.texi | 15 +-------------- 1 file changed, 1 insertion(+), 14 deletions(-) diff --git a/docs/with-editor.texi b/docs/with-editor.texi index 6fad37d..528b4f5 100644 --- a/docs/with-editor.texi +++ b/docs/with-editor.texi @@ -62,20 +62,7 @@ don't use Magit or another package which uses it internally. @noindent This manual is for With-Editor version 3.2.0-git. -@quotation -Copyright (C) 2015-2022 Jonas Bernoulli - -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 quotation +@insertcopying @end ifnottex @menu -- cgit v1.0