diff options
| author | Healfdene Goguen | 1998-05-06 15:28:55 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-05-06 15:28:55 +0000 |
| commit | 61f04320b01df3efd72f73adc9a3bafe311f3523 (patch) | |
| tree | fdce62e5feba44343db0f91f1255cabcbbf8cdfd /script-management.info | |
| parent | 3f95f37c64e21134aa909f7adaf3a8141fe12fd8 (diff) | |
Simpler procedure for compiling emacs lisp.
Added coq-info-dir so that script-management.info can be hard-coded.
Diffstat (limited to 'script-management.info')
0 files changed, 0 insertions, 0 deletions