diff options
| author | David Aspinall | 1998-09-16 15:55:32 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-09-16 15:55:32 +0000 |
| commit | bd63a1a2698e0359b2ed69710f5c12a9f3551e2a (patch) | |
| tree | 57e8f909e33d9adbb0ce526c0c7c0b6ff0272c2f /html | |
| parent | 6f26c71f9f5ba7ccf0c5ea7de2930cb3835e8c05 (diff) | |
Moved proof-info-dir into proof-site and defcustom'd it.
Set the Info directory list there rather than after
proof.el has loaded. Add the proof-info-dir onto the
end of Info-default-directory-list, not the start.
Diffstat (limited to 'html')
0 files changed, 0 insertions, 0 deletions