From d0ef012305eb65b83f125d3316373a0698e18293 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 2 Mar 2004 22:55:24 +0000
Subject: Fix info install

---
 Makefile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 369ce49c..e7153b60 100644
--- a/Makefile
+++ b/Makefile
@@ -196,8 +196,8 @@ install-doc: doc.info
 	cp -pf doc/proofgeneral.1 ${MANDIR}
 	mkdir -p ${INFODIR}
 	cp -pf doc/*.info ${INFODIR}
-	/sbin/install-info /usr/share/info/ProofGeneral.info.* ${INFODIR}/dir
-	/sbin/install-info /usr/share/info/PG-adapting.info.* ${INFODIR}/dir
+	/sbin/install-info ${INFODIR}/ProofGeneral.info* ${INFODIR}/dir
+	/sbin/install-info ${INFODIR}/PG-adapting.info* ${INFODIR}/dir
 
 doc.%: 
 	(cd doc; make $*)
-- 
cgit v1.2.3