===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.63
retrieving revision 1.65
diff -u -p -r1.63 -r1.65
--- OpenXM/src/Makefile	2000/01/19 01:15:45	1.63
+++ OpenXM/src/Makefile	2000/01/19 06:06:30	1.65
@@ -1,4 +1,4 @@
-## $OpenXM: OpenXM/src/Makefile,v 1.62 2000/01/19 00:26:20 takayama Exp $
+## $OpenXM: OpenXM/src/Makefile,v 1.64 2000/01/19 03:03:34 noro Exp $
 
 OPENXM_CONTRIB=../../OpenXM_contrib
 LIBDIR=../lib
@@ -97,6 +97,7 @@ clean:
 	(cd pari ; make clean)
 	(cd phc ; make clean)
 	(cd tigers ; make clean)
+	(cd asir-doc ; make clean)
 	(cd asir-contrib ; make clean)
 
 distclean: clean
@@ -112,7 +113,7 @@ distclean: clean
 	       $(BINDIR)/oxlog $(BINDIR)/oxweave $(BINDIR)/sm1 \
 	       $(LIBDIR)/k097 $(LIBDIR)/sm1 SSkan bin gc gmp
 
-configure: configure-links configure-gmp configure-bin configure-asir \
+configure: configure-links configure-bin configure-asir \
 	   configure-gnuplot \
 	   configure-k097 configure-kan96xx configure-kxx configure-oxmath \
 	   configure-pari
@@ -149,5 +150,3 @@ configure-oxmath:
 configure-pari:
 	(cd pari ; make configure)
 
-configure-gmp:
-	(cd $(OPENXM_CONTRIB)/gmp ; rm -f .gmp_configured)