Kompilieren

2025-04-26 06:48:04 +02:00 · 2014-02-11 07:11:31 +01:00 · 2014-02-11 07:11:31 +01:00 · 2f22e6f2fc
commit 2f22e6f2fc
parent f84385063b
3 changed files with 1 additions and 1 deletions
--- a/documents/GeoTopo/definitions/definitionen.pdf
+++ b/documents/GeoTopo/definitions/definitionen.pdf
--- a/documents/GeoTopo/definitions/generateDefinitions.py
+++ b/documents/GeoTopo/definitions/generateDefinitions.py
@ -7,7 +7,7 @@ def get_definitions(filename):
    with open(filename) as f:
        content = f.read()

-    pattern = re.compile(r"\\begin{definition}(.*?)\\end{definition}", re.DOTALL | re.UNICODE)
+    pattern = re.compile(r"^\\begin{definition}(.*?)\\end{definition}", re.DOTALL | re.UNICODE)
    index_pattern = re.compile(r"\\xindex{(?:.*?@)?(.*?)(?:\|.*?)?}", re.UNICODE)
    todo_pattern = re.compile(r"\\todo{.*?}", re.UNICODE)
    definitions = re.findall(pattern, content)
--- a/documents/GeoTopo/other-formats/GeoTopo-A5.pdf
+++ b/documents/GeoTopo/other-formats/GeoTopo-A5.pdf