===================================================================
RCS file: /home/cvs/OpenXM/rc/Makefile,v
retrieving revision 1.12
retrieving revision 1.13
diff -u -p -r1.12 -r1.13
--- OpenXM/rc/Makefile	2000/03/06 08:08:11	1.12
+++ OpenXM/rc/Makefile	2000/03/09 12:53:34	1.13
@@ -1,4 +1,4 @@
-# $OpenXM: OpenXM/rc/Makefile,v 1.11 2000/03/05 06:54:00 takayama Exp $
+# $OpenXM: OpenXM/rc/Makefile,v 1.12 2000/03/06 08:08:11 takayama Exp $
 # make repl
 # make all
 # make install  [ PREFIX=/home/hoge ]  ; Default is /usr/local
@@ -21,7 +21,7 @@ dot.cshrc : cshrc repl
 	echo "# DO NOT EDIT THIS FILE" >dot.cshrc
 	./repl <cshrc >>dot.cshrc
 
-repl : repl.c
+repl : repl.c 
 	${CC} -static -o repl repl.c
 
 openxm : dot.cshrc
@@ -42,6 +42,9 @@ install : all 
 install.man :
 	-cp openxm.1 ${MAN_DIR}
 
+install.asir_key:
+	-../bin/sm1 -f fetch_asir_key.sm1
+
 clean :
-	rm -f dot.bashrc dot.cshrc repl openxm $(SHELL_SCRIPTS) .gen-shell-scripts
+	rm -f dot.bashrc dot.cshrc repl openxm $(SHELL_SCRIPTS) .gen-shell-scripts work