Hi Mark,
On Thu, 21 Jan 2021 at 16:26, Mark H Weaver <[email protected]> wrote:
> I've been carrying the attached commit on my private branch for a while
> now. It may be an improvement, but I've forgotten the details. I
> used
Thanks! It helps.
Based on your patch, I have tweaked a bit and now “bin/proofgeneral“
seems to work. However, I have not yet tweaked enough to have the Emacs
load-path works.
> + (substitute* "bin/proofgeneral"
> + (("^PGHOMEDEFAULT=.*" all)
What does this line do?
All the best,
simon
