remove dead code
authorSimon Marlow <marlowsd@gmail.com>
Thu, 20 Mar 2008 21:07:50 +0000 (21:07 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Thu, 20 Mar 2008 21:07:50 +0000 (21:07 +0000)
tools/tex.hs

index c6c504c..6396024 100644 (file)
@@ -912,7 +912,6 @@ texCommands = [("\\",doEol),
                ("nopagebreak",ignoreB),
                ("rm",embed (inFont RM)),
                ("it",emit (HFont IT)),
-               ("em",emit (HFont IT)),
                ("bf",emit (HFont Bold)),
                ("input",doInput),
               ("[",doEqn),