all:
	rm -f INSTALL/*.html
	makeinfo --html      --document-language=de_DE                INSTALL.texi
	makeinfo --plaintext --document-language=de_DE -o INSTALL.txt INSTALL.texi