--- demo/redlich/Makefile.orig	Thu Jun 28 02:52:44 2001
+++ demo/redlich/Makefile	Thu Jun 28 02:53:11 2001
@@ -33,7 +33,7 @@ clean:
 	for i in $(DIRS); do $(MAKE) -C $$i clean || exit 1; done
 
 install:
-	$(IDIRCMD) $(INSTDIR)/doc/mico/examples/redlich
-	$(ISRCCMD) Makefile $(INSTDIR)/doc/mico/examples/redlich
-	$(ISRCCMD) README $(INSTDIR)/doc/mico/examples/redlich
+	$(IDIRCMD) $(SHARED_INSTDIR)/doc/mico/examples/redlich
+	$(ISRCCMD) Makefile $(SHARED_INSTDIR)/doc/mico/examples/redlich
+	$(ISRCCMD) README $(SHARED_INSTDIR)/doc/mico/examples/redlich
 	for i in $(DIRS); do $(MAKE) -C $$i install || exit 1; done
