diff options
| author | Alejandro Soto <alejandro@34project.org> | 2023-10-06 23:39:06 -0600 |
|---|---|---|
| committer | Alejandro Soto <alejandro@34project.org> | 2023-10-06 23:45:53 -0600 |
| commit | 8eba2720083d49bf6550efb35f32c8fbdd2ef975 (patch) | |
| tree | 79f657926639c648ace4038f37057797332e7ac6 /Makefile | |
| parent | 0348b59067844577a96ba3a380f9e759303d7c14 (diff) | |
Makefile: add doc_file rule to distce4302/p1
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -85,6 +85,7 @@ dist: $(DEMO_OBJ_DIR)/demo.bin $(if $(DISABLE_COV),sim,cov) @mv -vt $(DIST_OBJ_DIR) $(DIST_OBJ_DIR)/src/README.md @cp -vt $(DIST_OBJ_DIR)/bin $(DEMO_OBJ_DIR)/demo @cp -v $(DEMO_OBJ_DIR)/demo.bin $(DIST_OBJ_DIR)/bin/boot.bin + @if [ -d doc_out ]; then cp -vrt $(DIST_OBJ_DIR)/doc doc_out/*; fi @$(if $(DISABLE_COV),,cp -rv $(COV_DIR) $(DIST_OBJ_DIR)/results/coverage) @for SIM in $(SYS_SIMS); do \ mkdir -pv $(DIST_OBJ_DIR)/results/system/$$SIM; \ |