doc/Makefile

   1 all:
   2         makeinfo --html      --document-language=de_DE                INSTALL.texi
   3         makeinfo --plaintext --document-language=de_DE -o INSTALL.txt INSTALL.texi