Umstellung der Benutzerverwaltung von Dateien im Verzeichnis "users" auf die Verwendu...
[kivitendo-erp.git] / doc / Makefile
1 all:
2         rm -f INSTALL/*.html
3         makeinfo --html      --document-language=de_DE                INSTALL.texi
4         makeinfo --plaintext --document-language=de_DE -o INSTALL.txt INSTALL.texi