Index: mttroot/mtt/bin/mtt
==================================================================
--- mttroot/mtt/bin/mtt
+++ mttroot/mtt/bin/mtt
@@ -13,10 +13,13 @@
 ###############################################################
 ## Version control history
 ###############################################################
 ## $Header$
 ## $Log$
+## Revision 1.242  2000/05/18 20:12:02  peterg
+## Version 4.2
+##
 ## Revision 1.241  2000/05/16 11:42:14  peterg
 ## Addded /usr/lib/libp2c.a  to gcc
 ##
 ## Revision 1.240  2000/05/10 09:38:58  peterg
 ## Added Make to list of copied files.
@@ -1671,10 +1674,15 @@
 	echo "# Simulation parameters for system $1 ($1_logic.txt)"; \
 	echo "# Generated by MTT on" `date`.; \
 	cat $MTTPATH/trans/rcs_header.sh; \
 	echo ;\
 	)> $1_logic.txt
+
+#SUMMARY logic	Dynamic switch logic (tex)
+#SUMMARY logic	Dynamic switch logic (view)
+$1_logic.tex: $1_logic.txt
+	txt2tex $1 logic txt
 
 
 #SUMMARY switch	Dynamic switch information (txt)
 $1_switch.txt: $1_struc.txt
 	struc2switch_txt $1