Makefile

   1 all:
   2         rm -f INSTALL/*.html
   3         makeinfo --html      --document-language=de_DE.UTF-8                INSTALL.texi
   4         makeinfo --plaintext --document-language=de_DE.UTF-8 -o INSTALL.txt INSTALL.texi