===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.70
retrieving revision 1.72
diff -u -p -r1.70 -r1.72
--- OpenXM/src/Makefile	2000/01/21 09:38:36	1.70
+++ OpenXM/src/Makefile	2000/01/24 11:20:29	1.72
@@ -1,4 +1,4 @@
-## $OpenXM: OpenXM/src/Makefile,v 1.69 2000/01/20 09:17:44 takayama Exp $
+## $OpenXM: OpenXM/src/Makefile,v 1.71 2000/01/24 11:01:13 takayama Exp $
 
 OPENXM_CONTRIB=../../OpenXM_contrib
 LIBDIR=../lib
@@ -51,7 +51,8 @@ all-tigers:
 
 all-misc :
 	(cd ../rc ; make repl)
-	(cd ../doc ; make all)
+	(cd ../doc ; make all-install)
+	(cd ../doc ; make all-spec)
 
 install: install-asir install-gnuplot install-k097 install-kan96xx \
 	 install-kxx install-openmath install-oxmath install-pari \
@@ -175,5 +176,5 @@ clean-rc :
 all-Copyright :
 	(cd $(COPYRIGHTDIR) ; make copy-copyright )
 
-dist : all-Copyright clean-rc all install all-misc
+binary-dist : all-Copyright clean-rc all install all-misc