File diff 6c6f821bb7a2 → 49945f7085b0
Makefile
Show inline comments
 
@@ -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"