From aa12db5782d4f12fb0024dcbf9abf183854be070 Mon Sep 17 00:00:00 2001 From: Gabriel Scherer Date: Tue, 28 Nov 2023 14:37:55 +0100 Subject: [PATCH] [minor] silence an Emacs warning about above-80-chars docstring MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit > ⛔ Warning (comp): proof-site.el:249:2: Warning: defvar `proof-general-configured-provers' docstring wider than 80 characters --- generic/proof-site.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/generic/proof-site.el b/generic/proof-site.el index 316acfdcb..e31d52725 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -241,8 +241,8 @@ Note: to change proof assistant, you must start a new Emacs session.") proof-assistants (mapcar #'car proof-assistant-table)) "A list of the configured proof assistants. -Set on startup to contents of environment variable PROOFGENERAL_ASSISTANTS, -the Lisp variable `proof-assistants', or the contents of `proof-assistant-table'.") +Set on startup to contents of environment variable PROOFGENERAL_ASSISTANTS, the +Lisp variable `proof-assistants', or the contents of `proof-assistant-table'.") ;; Add auto-loads and load-path elements to support the ;; proof assistants selected, and define stub major mode functions