===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.105
retrieving revision 1.107
diff -u -p -r1.105 -r1.107
--- OpenXM/src/Makefile	2000/12/21 12:26:57	1.105
+++ OpenXM/src/Makefile	2001/05/31 08:04:34	1.107
@@ -1,4 +1,4 @@
-## $OpenXM: OpenXM/src/Makefile,v 1.104 2000/12/21 09:25:23 takayama Exp $
+## $OpenXM: OpenXM/src/Makefile,v 1.106 2001/05/20 09:19:16 takayama Exp $
 
 OpenXM_HOME=../../OpenXM
 OPENXM_CONTRIB=../../OpenXM_contrib
@@ -21,7 +21,7 @@ all-gc: 
 all-gmp: configure-gmp
 	(if test ! -f .gmp_make_done ; then cd gmp ; make ; touch .gmp_make_done ; fi) ; 
 
-all-oxtoolkit: configure-oxtoolkit install-gmp install-kxx
+all-oxtoolkit: configure-oxtoolkit install-gmp install-gc install-kxx
 	(cd ox_toolkit; make)
 
 all-oxc: configure-oxc install-oxtoolkit
@@ -308,6 +308,7 @@ post-install-correction-for-asir:
 	(cd ../bin ; ln -s ./asir ox_asir)
 	(cd ../lib/asir ; rm -f asir ; ln -s ../../bin/asir asir)
 	(cd ../lib/asir ; rm -f ox_asir ox_launch ox_plot help ; ln -s ./asir ox_asir ; ln -s ./asir ox_launch ; ln -s ./asir ox_plot ; ln -s ./help-eg help)
+	-(cd asir-doc ; make install-man-pages)
 
 install-all-asir-lib:
 	(cd asir2000 ; make install-lib-small)