diff options
| author | Hendrik Tews | 2021-01-24 12:09:25 +0100 |
|---|---|---|
| committer | hendriktews | 2021-01-31 21:42:52 +0100 |
| commit | 58d6ec212c96cfd1f3ace6e8be16b1c46c66c718 (patch) | |
| tree | e049d3646ed793401fe3967bc287948d3f3d7171 /lib/pg-dev.el | |
| parent | 7473a130baba2d3011073f48c1df36c75894f943 (diff) | |
fix another make magic problem from 2018
In 7389d43893569ff0e1eff892254901876fc8225e
proof-ready-for-assistant was moved to proof-script.el, breaking
make magic in a complicated chain. The auto load for
proof-ready-for-assistant caused proof-script.el to be loaded
before proof-assistant was set, causing
proof-eval-when-ready-for-assistant, to put stuff into
proof-ready-for-assistant-hook. proof-ready-for-assistant loads
pg-custom.el by require, therefore, for the first proof assistant
in the loop in docstring-magic everything was defined when
executing the hooks at the end of proof-ready-for-assistant. The
second assistant caused errors than.
Fixes #542
Diffstat (limited to 'lib/pg-dev.el')
0 files changed, 0 insertions, 0 deletions