===================================================================
RCS file: /home/cvs/OpenXM/src/asir2000/Makefile,v
retrieving revision 1.15
retrieving revision 1.16
diff -u -p -r1.15 -r1.16
--- OpenXM/src/asir2000/Makefile	2000/03/10 02:59:50	1.15
+++ OpenXM/src/asir2000/Makefile	2000/03/16 07:25:06	1.16
@@ -1,4 +1,4 @@
-# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.14 2000/02/08 04:47:08 noro Exp $
+# $OpenXM: OpenXM/src/asir2000/Makefile,v 1.15 2000/03/10 02:59:50 noro Exp $
 
 ASIR = ../../../OpenXM_contrib2/asir2000
 ASIR_PARI = ../../../OpenXM_contrib2/asir2000-pari
@@ -24,7 +24,7 @@ small: configure-small
 	@touch ./.make_small_done
 
 install: all
-	(cd $(ASIR) ; make install-bin-lib ; make install-libasir ; make install-libgc )
+	(cd $(ASIR) ; make install-bin-lib ; make install-libasir ; make install-libgc ; make install-include )
 
 install-lib-with-pari: with-pari
 	(cd $(ASIR_PARI) ; make install-libasir)