Index: mttroot/mtt/bin/trans/awk/tex2doc.awk
==================================================================
--- mttroot/mtt/bin/trans/awk/tex2doc.awk
+++ mttroot/mtt/bin/trans/awk/tex2doc.awk
@@ -10,10 +10,13 @@
 ###############################################################
 ## Version control history
 ###############################################################
 ## $Id$
 ## $Log$
+# Revision 1.1  1996/08/18  20:00:10  peter
+# Initial revision
+#
 ###############################################################
 
 
 BEGIN {
   split(ARGV[1],a,"_");
@@ -24,11 +27,11 @@
   print "\\documentclass[12pt,a4paper]{article}";
   printf("\\title{System %s, representation %s}\n", \
 	 system_name, representation) 
   print "\\author{Generated by MTT}";
   print "  \\usepackage{epsfig}";
-  print ;
+  print "  \\usepackage{supertabular}";
   print "\\begin{document}";
   print "  \\maketitle";
   printf("  \\input{%s_%s}\n", system_name, representation);
   print "\\end{document}"
 }