# HG changeset patch
# User Dennis Fink <dennis.fink@c3l.lu>
# Date 2014-07-27 23:01:50
# Node ID 49945f7085b0f3bb2e49075dd918bb3e28e3fa0b
# Parent  6c6f821bb7a264216508d75d764fa70d164b3815

Fix makefile

diff --git a/Makefile b/Makefile
--- a/Makefile
+++ b/Makefile
@@ -20,6 +20,6 @@ odt:
 	@echo "Build finished. The ODT file is named Satzung.odt"
 
 html:
-	$(RST2HTML) --smart-quotes=yes --no-compact-list $(MAINFILE) $(MAINFILE)
+	$(RST2HTML) --smart-quotes=yes --no-compact-list $(MAINFILE) $(HTMLFILE)
 	@echo
 	@echo "Build finished. The HTML file is named Satzung.html"