bug#46016: broken Proof-General (emacs front-end to Coq)

[zimoun]

Hi Mark,

On Thu, 21 Jan 2021 at 16:26, Mark H Weaver <mhw@netris.org> 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