blob: 7d39b6ee17c7c0c0ce2eb655fd0fe8ebf36de61b (
plain)
1
2
3
4
5
6
|
pkg:setup
ENV.deparallelize
args = %W[PREFIX=#{prefix} DEST_PREFIX=#{prefix} ELISPP=share/emacs/site-lisp/proof-general ELISP_START=#{elisp}/site-start.d EMACS=#{which "emacs"} ]
make DESTDIR=${PKG_DEST} install *args
cd "doc"
make info html
|
