From b880acd89e79e23d7640a8c72fbb1d886e97dd07 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 1 Mar 2004 11:51:35 +0000
Subject: Updated.

---
 Makefile | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 369ce49c..c1d7e33c 100644
--- a/Makefile
+++ b/Makefile
@@ -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
 
-- 
cgit v1.2.3