Index: auto/output/Makefile
===================================================================
--- auto/output/Makefile	(revision 8e1730ce813e73fcd85ac2bc9142259b49434f09)
+++ auto/output/Makefile	(revision 4518a0b7b6b78168b5b4cc330fc97d43cb5c9183)
@@ -46,5 +46,5 @@
 VPATH = ./src
 
-PROGRAMS = tok sen fla gph kot unfla grp mar ser kon
+PROGRAMS = tok sen fla gph kot unfla grp mar ser kon rm12
 
 TOK_OBJ_FILES = tok.o tok_cmdline.o
@@ -89,4 +89,7 @@
 KON_PERL_FILES = kon.pl
 kon: \$(KON_PERL_FILES)
+
+RM12_SED_FILES = rm12.sed
+rm12: \$(RM12_SED_FILES)
 
 CONFIG_FILES = src/config.h Makefile
@@ -160,4 +163,8 @@
 	\$(CHMOD) a+x \$@
 
+%: %.sed
+	\$(CP) \$< \$@
+	\$(CHMOD) a+x \$@
+
 EOF