--- OpenPTC-GGI-0.5.0/Makefile.in.orig	Sat May  1 23:45:14 1999
+++ OpenPTC-GGI-0.5.0/Makefile.in	Sat Dec 21 10:29:42 2002
@@ -49,24 +49,23 @@
 
 install:
 	@echo "Installing under $(prefix)"
-	install -d $(prefix)/include/ptc/Core
-	install -d $(prefix)/include/ptc/GGI
-	install -d $(exec_prefix)/lib
-	install -d $(exec_prefix)/bin
-	install -m 0644 source/ptc.h $(prefix)/include/ptc
+	install -d $(DESTDIR)$(prefix)/include/ptc/Core
+	install -d $(DESTDIR)$(prefix)/include/ptc/GGI
+	install -d $(DESTDIR)$(exec_prefix)/lib
+	install -d $(DESTDIR)$(exec_prefix)/bin
+	install -m 0644 source/ptc.h $(DESTDIR)$(prefix)/include/ptc
 	for incfile in $(CORE_HEADER_FILES); do \
-	  install -m 0644 source/Core/$$incfile $(prefix)/include/ptc/Core; \
+	  install -m 0644 source/Core/$$incfile $(DESTDIR)$(prefix)/include/ptc/Core; \
 	done
 	for incfile in $(GGI_HEADER_FILES); do \
-	  install -m 0644 source/GGI/$$incfile $(prefix)/include/ptc/GGI; \
+	  install -m 0644 source/GGI/$$incfile $(DESTDIR)$(prefix)/include/ptc/GGI; \
 	done
-	install -m 0644 $(PTC_LIBRARY_PATH)/$(PTC_LIBRARY_NAME) $(exec_prefix)/lib
-	@cd $(exec_prefix)/lib ; ln -sf $(PTC_LIBRARY_NAME) libptc.a
-	install -m 0755 ptc-config $(exec_prefix)/bin
-	chmod 755 $(exec_prefix)/bin/ptc-config
+	install -m 0644 $(PTC_LIBRARY_PATH)/$(PTC_LIBRARY_NAME) $(DESTDIR)$(exec_prefix)/lib
+	install -m 0755 ptc-config $(DESTDIR)$(exec_prefix)/bin
+	chmod 755 $(DESTDIR)$(exec_prefix)/bin/ptc-config
 	if test -e library/$(PTC_LIBRARY_DYN); then \
-	  install -m 0755 library/$(PTC_LIBRARY_DYN) $(exec_prefix)/lib; \
-	  cd $(exec_prefix)/lib ; ln -sf $(PTC_LIBRARY_DYN) libptc.so ; \
+	  install -m 0755 library/$(PTC_LIBRARY_DYN) $(DESTDIR)$(exec_prefix)/lib; \
+	  cd $(DESTDIR)$(exec_prefix)/lib ; ln -sf $(PTC_LIBRARY_DYN) libptc.so ; \
 	fi