diff options
| author | David Aspinall | 2003-02-24 14:35:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-24 14:35:36 +0000 |
| commit | 0230e6aeca0feab2b0d7ba0ce0bb56526521821d (patch) | |
| tree | cc5dd532019faa861c70c290347ad6c26282ce01 /etc | |
| parent | 33be89242a75843fc70a4184b923865c46cdc291 (diff) | |
Install x-sym/mmm
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/ProofGeneral.spec | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec index 7ac9301a..b4f59859 100644 --- a/etc/ProofGeneral.spec +++ b/etc/ProofGeneral.spec @@ -68,7 +68,7 @@ mv etc/ProofGeneral.desktop ${RPM_BUILD_ROOT}/etc/X11/applnk/Applications # R for f in */README; do mv $f $f.`dirname $f`; done -cp -pr phox acl2 twelf coq lego isa isar hol98 images generic ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral +cp -pr phox acl2 twelf coq lego isa isar hol98 images generic mmm x-symbol ${RPM_BUILD_ROOT}/usr/share/emacs/ProofGeneral %clean if [ "X" != "${RPM_BUILD_ROOT}X" ]; then |