# Reads a .tex files and create an identical file but only with
# pages whose index is in pages_to_keep
def filter_pages(source_path, destination_path, pages_to_keep):
- def_re = re.compile(r"(\\newcommandx|\\renewcommandx|\\global\\long\\def)(\\[a-zA-Z]+)(.+)")
- source_file = open(source_path, "r")
- destination_file = open(destination_path, "w")
+ def_re = re.compile(rb"(\\newcommandx|\\renewcommandx|\\global\\long\\def)(\\[a-zA-Z]+)(.+)")
+ source_file = open(source_path, "rb")
+ destination_file = open(destination_path, "wb")
page_index = 0
skip_page = False
macros = []
for line in source_file:
# We found a new page
- if line.startswith("\\begin{preview}"):
+ if line.startswith(b"\\begin{preview}"):
page_index += 1
# If the page index isn't in pages_to_keep we don't copy it
skip_page = page_index not in pages_to_keep
macroname = match.group(2)
if not macroname in macros:
macros.append(macroname)
- if definecmd == "\\renewcommandx":
- line = line.replace(definecmd, "\\newcommandx")
+ if definecmd == b"\\renewcommandx":
+ line = line.replace(definecmd, b"\\newcommandx")
destination_file.write(line)
# End of a page, we reset the skip_page bool
- if line.startswith("\\end{preview}"):
+ if line.startswith(b"\\end{preview}"):
skip_page = False
destination_file.close()