if we treat \LaTeX specially, we need to do the same for \TeX

diff --git a/Doc/perl/python.perl b/Doc/perl/python.perl
index 08c23ba4fb581e6b3679c4938f56d735dbe8a386..437c5cb5ca8e819b5bc58c5a136fb1c0de62c9fa 100644 (file)
--- a/Doc/perl/python.perl
+++ b/Doc/perl/python.perl
@@ -108,6 +108,7 @@ sub do_cmd_sub{
 sub do_cmd_ABC{ 'ABC' . $_[0]; }
 sub do_cmd_UNIX{ '<span class="Unix">Unix</span>' . $_[0]; }
 sub do_cmd_LaTeX{ '<span class="LaTeX">LaTeX</span>' . $_[0]; }
+sub do_cmd_TeX{ '<span class="TeX">TeX</span>' . $_[0]; }
 sub do_cmd_ASCII{ 'ASCII' . $_[0]; }
 sub do_cmd_POSIX{ 'POSIX' . $_[0]; }
 sub do_cmd_C{ 'C' . $_[0]; }