--- demo/obv/Makefile.orig	Thu Jun 28 02:51:10 2001
+++ demo/obv/Makefile	Thu Jun 28 02:51:37 2001
@@ -13,7 +13,7 @@ clean:
 	rm -f *.o core *~ .depend
 
 install:
-	$(IDIRCMD) $(INSTDIR)/doc/mico/examples/obv
-	$(ISRCCMD) Makefile $(INSTDIR)/doc/mico/examples/obv
-	$(ISRCCMD) README $(INSTDIR)/doc/mico/examples/obv
+	$(IDIRCMD) $(SHARED_INSTDIR)/doc/mico/examples/obv
+	$(ISRCCMD) Makefile $(SHARED_INSTDIR)/doc/mico/examples/obv
+	$(ISRCCMD) README $(SHARED_INSTDIR)/doc/mico/examples/obv
 	for i in $(DIRS); do $(MAKE) -C $$i install || exit 1; done