diff options
| author | 6543 | 2020-11-17 00:01:11 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-16 18:01:11 -0500 |
| commit | f845fa0ddc4ebf3e36d4cd4335402fca681c15e3 (patch) | |
| tree | 19b454a3aba5e9d173be490e49cb4141945e8d44 | |
| parent | 53b89c34742855e0c5a7f989d6506f02791678af (diff) | |
Fix Fomatic Build (#13593)
| -rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -593,9 +593,9 @@ fomantic: $(FOMANTIC_DEST) $(FOMANTIC_DEST): $(FOMANTIC_CONFIGS) package-lock.json | 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 web_src/fomantic/css.js node_modules/fomantic-ui/tasks/build/css.js + cp -f web_src/fomantic/theme.config.less node_modules/fomantic-ui/src/theme.config + cp -rf web_src/fomantic/_site/* node_modules/fomantic-ui/src/_site/ + cp -f web_src/fomantic/css.js node_modules/fomantic-ui/tasks/build/css.js npx gulp -f node_modules/fomantic-ui/gulpfile.js build @touch $(FOMANTIC_DEST) |