Hello, zimoun writes: > Instead, I propose to extend to: > > --8<---------------cut here---------------start------------->8--- > (add-after 'install 'allow-subfolders-autoloads > ;; Autoload cookies are present in sub-directories. A friendly > ;; wrapper proof-general.el around generic/proof-site.el is > ;; provided for execution on Emacs start-up. It serves two > ;; purposes: > ;; * Setting up the load path when byte-compiling pg. > ;; * Loading a minimal PG setup on startup (not all of Proof > ;; General, of course;mostly mode hooks and autoloads). > ;; The rename to proof-general-autoloads.el is Guix specific. > (lambda* (#:key outputs #:allow-other-keys) > (let ((out (assoc-ref outputs "out"))) > (copy-file "proof-general.el" > (string-append out ,base-directory > "/proof-general-autoloads.el"))))))))) > --8<---------------cut here---------------end--------------->8--- > > > Is it fine? If yes, I can send* a v2. Or please push directly. :-) I pushed it directly. Thank you! Regards, -- Nicolas Goaziou