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