From b7f6e8b04ad8277ab9e85de902ddb3ece0305ae3 Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Thu, 25 Feb 2021 20:30:54 +0100
Subject: feat(proof-upgrade-elpa-packages): autoload

---
 generic/proof-utils.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-utils.el')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index c5f4960d..07bbaf04 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -106,7 +106,7 @@ Return nil if not a script buffer or if no active scripting buffer."
 ;; Facility to upgrade all ELPA packages (including ProofGeneral)
 ;;
 
-
+;;;###autoload
 (defun proof-upgrade-elpa-packages ()
   "Upgrade all ELPA packages (using package.el)."
   (interactive)
-- 
cgit v1.2.3