diff --git a/documents/mod_html_files.py b/documents/mod_html_files.py index 70da72d..8d2111c 100644 --- a/documents/mod_html_files.py +++ b/documents/mod_html_files.py @@ -40,7 +40,7 @@ try: content=string.replace(content,footer,"") #rename footnotes into Fussnoten - content = string.replace(content,"Fooßnotes","Fussnoten") + content = string.replace(content,"Fußnoten","Fussnoten") #put whole content into div tags content = string.replace(content,"",'\n\n
') diff --git a/documents/winpt/winpt.lyx b/documents/winpt/winpt.lyx index a7edbc5..d6bff81 100644 --- a/documents/winpt/winpt.lyx +++ b/documents/winpt/winpt.lyx @@ -5,6 +5,7 @@ \usepackage{hyperref} \usepackage{html} \usepackage{german} +\usepackage{babel} \end_preamble \language ngerman \inputencoding auto