[nongnu] elpa/proof-general df4013732e 22/25: qrhl: Removed autoload cookie from customizable options.

[ELPA Syncer]

branch: elpa/proof-general
commit df4013732ea20e2f01c30ce5ccbcc9079e7cd3d5
Author: Dominique Unruh <un...@ut.ee>
Commit: Dominique Unruh <un...@ut.ee>

    qrhl: Removed autoload cookie from customizable options.
    
    (As recommended by 
https://www.gnu.org/software/emacs/manual/html_node/elisp/When-to-Autoload.html.
 "Don’t autoload a user option just so that a user can set it.")
---
 qrhl/qrhl.el | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/qrhl/qrhl.el b/qrhl/qrhl.el
index b837941fa0..9a3f44b6cb 100644
--- a/qrhl/qrhl.el
+++ b/qrhl/qrhl.el
@@ -19,15 +19,10 @@
   (require 'qrhl-input))
 
 
-;;;###autoload
-(defgroup qrhl nil "qRHL prover settings")
-
-;;;###autoload
 (defcustom qrhl-input-method "qrhl" "Input method to use when editing qRHL 
proof scripts"
   :type '(string) :group 'qrhl)
 
-;;;###autoload
-(defcustom qrhl-prog-name "qrhl" "Name/path of the qrhl-prover command"
+(defcustom qrhl-prog-name "qrhl" "Name/path of the qrhl-prover command. 
(Restart Emacs after changing this.)"
   :type '(string) :group 'qrhl)
 
 (defun qrhl-find-and-forget (span)