===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.66
retrieving revision 1.67
diff -u -p -r1.66 -r1.67
--- OpenXM/src/Makefile	2000/01/19 07:30:34	1.66
+++ OpenXM/src/Makefile	2000/01/19 12:05:59	1.67
@@ -1,4 +1,4 @@
-## $OpenXM: OpenXM/src/Makefile,v 1.65 2000/01/19 06:06:30 takayama Exp $
+## $OpenXM: OpenXM/src/Makefile,v 1.66 2000/01/19 07:30:34 takayama Exp $
 
 OPENXM_CONTRIB=../../OpenXM_contrib
 LIBDIR=../lib
@@ -47,6 +47,10 @@ all-phc:
 all-tigers:
 	(cd tigers ; make all)
 
+all-misc :
+	(cd ../rc ; make repl)
+	(cd ../doc ; make all)
+
 install: install-asir install-gnuplot install-k097 install-kan96xx \
 	 install-kxx install-openmath install-oxmath install-pari \
 	 install-phc install-tigers install-asir-doc install-asir-contrib
@@ -155,4 +159,6 @@ configure-oxmath:
 
 configure-pari:
 	(cd pari ; make configure)
+
+dist : all install all-misc