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.1 1996/08/18 19:58:49 peter +# Initial revision +# ############################################################### BEGIN { split(ARGV[1],a,"_"); @@ -20,32 +23,39 @@ system_name = a[1]; args = ARGV[2]; } { if (NF==2) { + + Representation = $1; + Language = $2; + Rep_lang = sprintf("%s_%s", Representation, Language); + section_head = sprintf("System \\textbf{%s}: representation \\textbf{%s}, language \\textbf{%s}", \ + system_name,Representation,Language); + # tex files - if( match("tex",$2)>0) { - print "\\section{Representation " $1 ", language " $2 "}"; - printf(" \\input{%s_%s.%s}\n", system_name, $1, $2); + if( match("tex",Language)>0) { + print "\\section{" section_head "}"; + printf(" \\input{%s_%s.%s}\n", system_name, Representation, Language); } # text files - if( match("txt r m",$2)>0) { - print "\\section{Representation " $1 ", language " $2 "}"; + if( match("txt r m c",Language)>0) { + print "\\section{" section_head "}"; print " \\begin{verbatim}"; - command = sprintf("cat %s_%s.%s", system_name, $1, $2); + command = sprintf("cat %s_%s.%s", system_name, Representation, Language); system(command); print " \\end{verbatim}"; } # ps files - if( match("ps",$2)>0) { - print "\\section{Representation " $1 ", language " $2 "}"; - printf("This representation is given as Figure \\ref{fig:%s}.\n", $1); + if( match("ps",Language)>0) { + print "\\section{" section_head "}"; + printf("This representation is given as Figure \\ref{fig:%s}.\n", Rep_lang); print " \\begin{figure}"; printf(" \\epsfig{file=%s_%s.%s,width=\\linewidth}\n", \ - system_name, $1, $2); - printf(" \\caption{System %s, representation %s}\n", system_name, $1); - printf(" \\label{fig:%s}\n", system_name, $1); + system_name, Representation, Language); + printf(" \\caption{System %s, representation %s}\n", system_name, Representation); + printf(" \\label{fig:%s}\n", Rep_lang); print " \\end{figure}"; } } } END {