diff options
Diffstat (limited to 'Build/source/texk/dvisvgm/dvisvgm-src/doc/tweak-dblatex-tex.py')
-rw-r--r-- | Build/source/texk/dvisvgm/dvisvgm-src/doc/tweak-dblatex-tex.py | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/Build/source/texk/dvisvgm/dvisvgm-src/doc/tweak-dblatex-tex.py b/Build/source/texk/dvisvgm/dvisvgm-src/doc/tweak-dblatex-tex.py deleted file mode 100644 index 3f34d94e654..00000000000 --- a/Build/source/texk/dvisvgm/dvisvgm-src/doc/tweak-dblatex-tex.py +++ /dev/null @@ -1,18 +0,0 @@ -import re -import os - -def main (latex_file, stdout): - latex_file_old = latex_file+"-old" - os.rename(latex_file, latex_file_old) - os.remove(os.path.splitext(latex_file)[0]+".pdf") - with open(latex_file, "w") as outfile: - with open(latex_file_old) as infile: - lines = infile.readlines() - for line in lines: - if re.match(r'(.*\\def)|(.*\\href)', line) == None: - line = re.sub(r'([a-zA-Z0-9]+)/', r'\1\slash{}', line) - line = re.sub(r'-{}-{}', r'\=/\=/', line) - line = re.sub(r'([^a-zA-Z0-9])-{}', r'\1\=/', line) - print >>outfile, line.rstrip() - os.remove(latex_file_old) - return 0 |