mirror of
https://github.com/dimitri/el-get.git
synced 2024-09-29 13:08:51 +08:00
5b623bc5fa
It has some autoloaded statements which depend on the file they are evaluated from, which breaks when the destination autoload file is '~/.emacs.d/el-get/.loaddefs.el'. The existing 'generic/proof-site.el' file already provides sufficient autoload definitions.
12 lines
499 B
Plaintext
12 lines
499 B
Plaintext
(:name proof-general
|
|
:description "A generic Emacs interface for interactive proof assistants."
|
|
:type github
|
|
:pkgname "ProofGeneral/PG"
|
|
:build `(("make" "clean")
|
|
("make" ,(concat "EMACS=" el-get-emacs) "compile")
|
|
("makeinfo" "doc/ProofGeneral.texi" "-o" "doc")
|
|
("makeinfo" "doc/PG-adapting.texi" "-o" "doc"))
|
|
:info "doc"
|
|
:autoloads "generic/proof-site.el"
|
|
:website "http://proofgeneral.inf.ed.ac.uk/")
|