diff -Naur grass-7.8.3.org/include/Make/HtmlRules.make grass-7.8.3/include/Make/HtmlRules.make
--- grass-7.8.3.org/include/Make/HtmlRules.make 2020-05-05 10:51:50.000000000 +0200
+++ grass-7.8.3/include/Make/HtmlRules.make 2020-10-10 13:43:42.800880621 +0200
@@ -11,10 +11,10 @@
endif
$(HTMLDIR)/%.png: %.png | $(HTMLDIR)
- $(INSTALL_DATA) $< $@
+ flock $@ $(INSTALL_DATA) $< $@
$(HTMLDIR)/%.jpg: %.jpg | $(HTMLDIR)
- $(INSTALL_DATA) $< $@
+ flock $@ $(INSTALL_DATA) $< $@
$(HTMLDIR)/%.gif: %.gif | $(HTMLDIR)
- $(INSTALL_DATA) $< $@
+ flock $@ $(INSTALL_DATA) $< $@