generateDefinitions.py 810 B

1234567891011121314151617181920212223242526272829
  1. #!/usr/bin/env python
  2. # -*- coding: utf-8 -*-
  3. import re
  4. import glob
  5. def get_definitions(filename):
  6. with open(filename) as f:
  7. content = f.read()
  8. pattern = re.compile(r"\\begin{definition}.*?\\end{definition}", re.DOTALL)
  9. m = re.findall(pattern, content)
  10. return "\n\n".join(m)
  11. def write_definitions_to_template(definitions, template="mathe-vorlage.tex", target="definitionen.tex"):
  12. with open(template) as f:
  13. content = f.read()
  14. content = content.replace('%CONTENT%', definitions)
  15. with open(target, 'w') as f:
  16. f.write(content)
  17. if __name__ == "__main__":
  18. definitions = []
  19. for texsource in sorted(glob.glob("../Kapitel*.tex")):
  20. definitions.append(get_definitions(texsource))
  21. write_definitions_to_template("\n\n\n".join(definitions))