Change naming of "cmp68020" files.

diff --git a/etc/make_dist b/etc/make_dist
index 13a5afe4138bec72949b497588e9edd7b9ded069..67fa08bb8b110b663babf73b59563ce266b1b14c 100755 (executable)
--- a/etc/make_dist
+++ b/etc/make_dist
@@ -59,13 +59,13 @@ cd $destination/microcode
 make -k remove
 mv config.h config.dst
 mv Makefile ../makefiles
-mv cmp68020.s cmp68020.asm
-m4 cmp68020.asm > cmp68020.hp
-cp cmp68020.hp cmp68020.s
+mv cmp68020.s cmp68020.s-src
+m4 cmp68020.s-src > cmp68020.s-hp
+cp cmp68020.s-hp cmp68020.s
 /u/cph/cvt/cvt cmp68020
-mv cmp68020.a68 cmp68020.sun
+mv cmp68020.a68 cmp68020.s-sun
 rm -f cmp68020.s
-chmod -w cmp68020.hp cmp68020.sun
+chmod -w cmp68020.s-hp cmp68020.s-sun
 
 # Create the file "make_dirs.com":
 cd $destination