diff --git a/documents/GeoTopo/definitions/definitionen.pdf b/documents/GeoTopo/definitions/definitionen.pdf index e599d69..e69de29 100644 Binary files a/documents/GeoTopo/definitions/definitionen.pdf and b/documents/GeoTopo/definitions/definitionen.pdf differ diff --git a/documents/GeoTopo/definitions/generateDefinitions.py b/documents/GeoTopo/definitions/generateDefinitions.py index 80869fb..d43e5c4 100755 --- 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) diff --git a/documents/GeoTopo/other-formats/GeoTopo-A5.pdf b/documents/GeoTopo/other-formats/GeoTopo-A5.pdf index ec5cb1f..a0b03f0 100644 Binary files a/documents/GeoTopo/other-formats/GeoTopo-A5.pdf and b/documents/GeoTopo/other-formats/GeoTopo-A5.pdf differ