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