Unused code.

diff --git a/lib/scripts/tex_copy.py b/lib/scripts/tex_copy.py
index 1ec9e9216bf01a7b256ab5333563e8193b68df7d..529b13e7d0e46401bf992c399d6db441f31e28a0 100644 (file)
--- a/lib/scripts/tex_copy.py
+++ b/lib/scripts/tex_copy.py
@@ -46,7 +46,6 @@ def main(argv):
         error("%s is no absolute file name.\n%s"\
               % abs_to_file, usage(argv[0]))
     to_dir, rel_to_file = os.path.split(abs_to_file)
-    to_base, to_ext = os.path.splitext(rel_to_file)
 
     # latex file name
     latex_file = argv[3]