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.5  1997/05/22  11:12:34  peterg
+# Chaged figure label.
+#
 ## Revision 1.4  1997/05/22 07:36:35  peterg
 ## \ref --> \Ref
 ##
 ## Revision 1.3  1997/05/19 16:43:34  peterg
 ## Explicit include of tex files 'cos latex2html prefers this!
@@ -59,14 +62,14 @@
     }
 # ps files
     if( match("ps",Language)>0) {
       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", \
+      printf("   \\shadowbox{ \\epsfig{file=%s_%s.%s,width=0.9\\linewidth} }\n", \
 	     system_name, Representation, Language);
       printf("    \\caption{System \\textbf{%s}, representation %s}\n", system_name, Representation);
-      printf("    \\label{fig:%s_%s}\n", system_name, Representation);
+      printf("    \\label{fig:%s}\n", Rep_lang);
       print "  \\end{figure}";
     }
   }
 }
 END {