diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 11:51:35 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-03-01 11:51:35 +0000 |
commit | b880acd89e79e23d7640a8c72fbb1d886e97dd07 (patch) | |
tree | 0eb3bfcc00c4dd69d5ccb547944c679a85c5254c /Makefile | |
parent | ee1f0a3e11d1c53c3122f231cf2726d2941731a3 (diff) |
Updated.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -134,11 +134,11 @@ endif ELISP=${PREFIX}/${ELISPP} DEST_ELISP=${DEST_PREFIX}/${ELISPP} -BINDIR=${PREFIX}/bin -DESKTOP=${PREFIX}/share -DOCDIR=${PREFIX}/share/doc/ProofGeneral -MANDIR=${PREFIX}/share/man/man1 -INFODIR=${PREFIX}/share/info/ +BINDIR=${DEST_PREFIX}/bin +DESKTOP=${DEST_PREFIX}/share +DOCDIR=${DEST_PREFIX}/share/doc/ProofGeneral +MANDIR=${DEST_PREFIX}/share/man/man1 +INFODIR=${DEST_PREFIX}/share/info/ install: install-desktop install-elisp install-bin install-init |