diff --git a/modules/lang/coq/config.el b/modules/lang/coq/config.el
index 8427e2cf8..ab8e1fb94 100644
--- a/modules/lang/coq/config.el
+++ b/modules/lang/coq/config.el
@@ -2,6 +2,10 @@
 
 ;;;###package proof-general
 (setq proof-splash-enable nil)
+;; REVIEW: Remove when ProofGeneral/PG#771 is fixed. Also see #8169.
+(require 'proof-site
+         (expand-file-name "generic/proof-site"
+                           (file-name-directory (locate-library "proof-general"))))
 
 
 ;;;###package coq
diff --git a/modules/lang/coq/packages.el b/modules/lang/coq/packages.el
index f31d1f039..390e776b6 100644
--- a/modules/lang/coq/packages.el
+++ b/modules/lang/coq/packages.el
@@ -1,5 +1,8 @@
 ;; -*- no-byte-compile: t; -*-
 ;;; lang/coq/packages.el
 
-(package! proof-general :pin "3a99da275523c8f844fdfa3dd073295eece939f3")
+(package! proof-general
+  :pin "3a99da275523c8f844fdfa3dd073295eece939f3"
+  ;; REVIEW: Remove when ProofGeneral/PG#771 is fixed. Also see #8169.
+  :recipe (:build (:not autoloads)))
 (package! company-coq :pin "5affe7a96a25df9101f9e44bac8a828d8292c2fa")