generation of mkws.js must be atomar

diff --git a/tools/htdocs/Makefile b/tools/htdocs/Makefile
index d043f1e..7aedddb 100644 (file)
--- a/tools/htdocs/Makefile
+++ b/tools/htdocs/Makefile
@@ -83,7 +83,8 @@ release: mkws.js mkws-complete.js mkws.min.js mkws-complete.min.js
 
 mkws.js: $(COMPONENTS) Makefile
        rm -f $@
-       cat ${COMPONENTS} > $@
+       cat ${COMPONENTS} > $@.tmp
+       mv -f $@.tmp $@
        chmod 444 $@
 
 distclean: clean