===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.62
retrieving revision 1.64
diff -u -p -r1.62 -r1.64
--- OpenXM/src/Makefile	2000/01/19 00:26:20	1.62
+++ OpenXM/src/Makefile	2000/01/19 03:03:34	1.64
@@ -1,4 +1,4 @@
-## $OpenXM: OpenXM/src/Makefile,v 1.61 2000/01/18 02:03:42 noro Exp $
+## $OpenXM: OpenXM/src/Makefile,v 1.63 2000/01/19 01:15:45 noro Exp $
 
 OPENXM_CONTRIB=../../OpenXM_contrib
 LIBDIR=../lib
@@ -49,7 +49,7 @@ all-tigers:
 
 install: install-asir install-gnuplot install-k097 install-kan96xx \
 	 install-kxx install-openmath install-oxmath install-pari \
-	 install-phc install-tigers install-asir-contrib
+	 install-phc install-tigers install-asir-doc install-asir-contrib
 
 install-asir: all-asir
 	(cd asir2000 ; make install)
@@ -83,6 +83,9 @@ install-tigers: all-tigers
 install-asir-contrib: install-asir
 	(cd asir-contrib ; make install)
 
+install-asir-doc: install-asir
+	(cd asir-doc ; make install)
+
 clean:
 	(cd asir2000 ; make clean)
 	(cd gnuplot ; make clean)
@@ -94,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