Index: mttroot/mtt/bin/trans/rep_txt2tex
==================================================================
--- mttroot/mtt/bin/trans/rep_txt2tex
+++ mttroot/mtt/bin/trans/rep_txt2tex
@@ -12,10 +12,13 @@
 ###############################################################
 ## Version control history
 ###############################################################
 ## $Id$
 ## $Log$
+## Revision 1.3  2002/05/01 14:07:05  gawthrop
+## Added -dr foo (reads files from foo) dir.
+##
 ## Revision 1.2  2002/04/28 18:55:03  geraint
 ## Fixed [ 549658 ] awk should be gawk.
 ## Replaced calls to awk with call to gawk.
 ##
 ## Revision 1.1  2000/12/27 15:57:31  peterg
@@ -194,10 +197,11 @@
   RepLang = sprintf("%s%s.%s", Representation, __Args, Language);
   SysRepLang = sprintf("%s_%s", System, RepLang);
   SysRepLangArgs = sprintf("%s_%s", System, RepLang, __Args);
   SysRep = sprintf("%s_%s%s", System, Representation, __Args);
   filename = gensub(/,/, "-", "g", SysRep);
+  FileName = sprintf("%s/%s", PWD, filename);
   section_head = sprintf("\\textbf{%s\\_%s.%s} \\emph{%s}",
    System,Representation,Language, header_args);
    
 # section headings
     if (match(Languages,Language)>0) {
@@ -211,11 +215,11 @@
     print "\n\\end{verbatim}";
     }
 
 # tex files
     if( match("tex",Language)>0) {
-      printf("  \\input{%s/%s_%s.%s}\n", PWD, System, Representation, Language);
+      printf("  \\input{%s}\n", FileName);
 #      command = sprintf("sed s!fig{!fig{%s! < %s_%s.%s", Directory, System, Representation, Language);
 #      system(command);    
 }
 
 # text files
@@ -226,11 +230,10 @@
       print "  \\end{verbatim}";  
     }
 # ps files
     if( match("ps",Language)>0) {
       printf("This representation is given as Figure \\Ref{fig:%s}.\n", SysRepLangArgs);
-      FileName = sprintf("%s/%s", PWD, filename);
       Label = sprintf("%s", SysRepLangArgs);
       Caption = sprintf("System \\textbf{%s}, representation %s (%s)", System, Representation, __Args);
       printf("\\fig{%s}\n    {%s}\n    {0.9}\n    {%s}\n",FileName,Label,Caption);
   }
 }