Fix Fomatic Build (#13596)

Port of #13593 to 1.13

diff --git a/Makefile b/Makefile
index 404ead6d1e1ca9f219b1b76e80580d84049cf31e..20decf16a6116a9078b7f3b8f2ad9e74a6c97bd9 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -638,8 +638,8 @@ fomantic: $(FOMANTIC_DEST)
 
 $(FOMANTIC_DEST): $(FOMANTIC_CONFIGS) | node_modules
        rm -rf $(FOMANTIC_DEST_DIR)
-       cp web_src/fomantic/theme.config.less node_modules/fomantic-ui/src/theme.config
-       cp -r web_src/fomantic/_site/* node_modules/fomantic-ui/src/_site/
+       cp -f web_src/fomantic/theme.config.less node_modules/fomantic-ui/src/theme.config
+       cp -fr web_src/fomantic/_site/* node_modules/fomantic-ui/src/_site/
        npx gulp -f node_modules/fomantic-ui/gulpfile.js build
        @touch $(FOMANTIC_DEST)