No longer useful.

diff --git a/Doc/tools/text2latex.py b/Doc/tools/text2latex.py
deleted file mode 100644 (file)
index 93d0587..0000000
--- a/Doc/tools/text2latex.py
+++ /dev/null
@@ -1,55 +0,0 @@
-import os
-import sys
-import regex
-import regsub
-import string
-import getopt
-
-def main():
-       process(sys.stdin, sys.stdout)
-
-dashes = regex.compile('^-+[ \t]*$')
-equals = regex.compile('^=+[ \t]*$')
-stars = regex.compile('^\*+[ \t]*$')
-blank = regex.compile('^[ \t]*$')
-indented = regex.compile('^\( *\t\|        \)[ \t]*[^ \t]')
-
-def process(fi, fo):
-       inverbatim = 0
-       line = '\n'
-       nextline = fi.readline()
-       while nextline:
-               prevline = line
-               line = nextline
-               nextline = fi.readline()
-               fmt = None
-               if dashes.match(nextline) >= 0:
-                       fmt = '\\subsection{%s}\n'
-               elif equals.match(nextline) >= 0:
-                       fmt = '\\section{%s}\n'
-               elif stars.match(nextline) >= 0:
-                       fmt = '\\chapter{%s}\n'
-               if fmt:
-                       nextline = '\n'
-                       line =  fmt % string.strip(line)
-                       if '(' in line:
-                               line = regsub.gsub('[a-zA-Z0-9_]+()',
-                                         '{\\\\tt \\0}', line)
-               elif inverbatim:
-                       if blank.match(line) >= 0 and \
-                                 indented.match(nextline) < 0:
-                               inverbatim = 0
-                               fo.write('\\end{verbatim}\n')
-               else:
-                       if indented.match(line) >= 0 and \
-                                 blank.match(prevline) >= 0:
-                               inverbatim = 1
-                               fo.write('\\begin{verbatim}\n')
-               if inverbatim:
-                       line = string.expandtabs(line, 4)
-               elif not fmt and '(' in line:
-                       line = regsub.gsub('[a-zA-Z0-9_]+()',
-                                 '\\\\code{\\0}', line)
-               fo.write(line)
-
-main()