===================================================================
RCS file: /home/cvs/OpenXM/src/Makefile,v
retrieving revision 1.70
retrieving revision 1.74
diff -u -p -r1.70 -r1.74
--- OpenXM/src/Makefile	2000/01/21 09:38:36	1.70
+++ OpenXM/src/Makefile	2000/01/25 02:52:23	1.74
@@ -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.73 2000/01/25 02:10:02 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,8 @@ 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 
+	(cd ../bin ; rm -f asir ; ln -s ./ox_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)
+