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