Index: mttroot/mtt/bin/trans/awk/rep_txt2tex.awk
==================================================================
--- mttroot/mtt/bin/trans/awk/rep_txt2tex.awk
+++ mttroot/mtt/bin/trans/awk/rep_txt2tex.awk
@@ -10,10 +10,13 @@
 ###############################################################
 ## Version control history
 ###############################################################
 ## $Id$
 ## $Log$
+# Revision 1.2  1997/05/19  16:11:10  peterg
+# Modified section headers.
+#
 # Revision 1.1  1996/08/18  19:58:49  peter
 # Initial revision
 #
 ###############################################################
 
@@ -33,12 +36,13 @@
 			   system_name,Representation,Language);
 
 # tex files
     if( match("tex",Language)>0) {
       print "\\section{" section_head "}";
-      printf("  \\input{%s_%s.%s}\n", system_name, Representation, Language);
-    }
+      # printf("  \\input{%s_%s.%s}\n", system_name, Representation, Language);
+      command = sprintf("cat %s_%s.%s", system_name, Representation, Language);
+      system(command);    }
 # text files
     if( match("txt r m c",Language)>0) {
       print "\\section{" section_head "}";
       print "  \\begin{verbatim}";
       command = sprintf("cat %s_%s.%s", system_name, Representation, Language);