makeinfo --html --document-language=de_DE INSTALL.texi
makeinfo --plaintext --document-language=de_DE -o INSTALL.txt INSTALL.texi
makeinfo --html --document-language=de_DE INSTALL.texi
makeinfo --plaintext --document-language=de_DE -o INSTALL.txt INSTALL.texi