Umstellung der Benutzerverwaltung von Dateien im Verzeichnis "users" auf die Verwendu...

[kivitendo-erp.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index d401fbd..8324330 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,3 +1,4 @@
 all:
+       rm -f INSTALL/*.html
        makeinfo --html      --document-language=de_DE                INSTALL.texi
        makeinfo --plaintext --document-language=de_DE -o INSTALL.txt INSTALL.texi