===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.132
retrieving revision 1.137
diff -u -p -r1.132 -r1.137
--- OpenXM/src/Makefile	2003/09/14 01:19:55	1.132
+++ OpenXM/src/Makefile	2004/03/25 01:52:18	1.137
@@ -1,4 +1,4 @@
-## $OpenXM: OpenXM/src/Makefile,v 1.131 2003/09/11 00:46:18 takayama Exp $
+## $OpenXM: OpenXM/src/Makefile,v 1.136 2004/02/26 23:29:46 takayama Exp $
 
 OpenXM_HOME=..
 OpenXM_contrib=../../OpenXM_contrib
@@ -11,7 +11,7 @@ COPYRIGHTDIR=../Copyright
 all: all-util all-gc all-gmp all-asir all-gnuplot all-k097 all-kan96xx \
      all-kxx all-pari all-phc all-openmath all-oxmath all-tigers all-fep
 
-all-gc: 
+all-gc: install-util 
 	(cd gc; make all)
 
 all-gmp: configure-gmp
@@ -81,7 +81,7 @@ install: install-oxtags install-util install-asir inst
 	 install-k097 install-kan96xx \
 	 install-kxx install-openmath install-oxmath install-pari \
 	 install-phc install-tigers install-asir-doc install-asir-contrib \
-	 install-misc install-fep install-uuencoded 
+	 install-misc install-fep install-uuencoded  
 
 install-oxtags:
 	(cd ../doc/OpenXM-web ; make install-exec)
@@ -168,6 +168,9 @@ install-rc: all-rc
 install-uuencoded:
 	(cd uuencoded ; make install)
 
+install-asir-port:
+	(cd asir-port ; make install)
+
 clean:
 	-rm ./.configure-links-done
 	-rm ${OpenXM_contrib}/gmp/.gmp_*
@@ -216,7 +219,7 @@ configure: configure-asir \
 	   configure-k097 configure-kan96xx configure-kxx configure-oxmath \
 	   configure-pari configure-gmp
 
-configure-gmp: 
+configure-gmp: install-util
 	(cd gmp; make configure)
 
 configure-asir: 
@@ -260,6 +263,12 @@ all-Copyright :
 install-all-asir-lib:
 	(cd asir2000 ; make install-lib-small)
 
+install-document: install-document-kan96xx install-document-asir-contrib
+
+install-document-kan96xx: install-kan96xx
+	(cd kan96xx ; make install-document)
+install-document-asir-contrib: install-asir-contrib
+	(cd asir-contrib; make install-document)
 
 ## Targets for debugging
 install-for-debug: