summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlejandro Soto <alejandro@34project.org>2023-10-06 23:39:06 -0600
committerAlejandro Soto <alejandro@34project.org>2023-10-06 23:45:53 -0600
commit8eba2720083d49bf6550efb35f32c8fbdd2ef975 (patch)
tree79f657926639c648ace4038f37057797332e7ac6
parent0348b59067844577a96ba3a380f9e759303d7c14 (diff)
Makefile: add doc_file rule to distce4302/p1
-rw-r--r--.gitignore1
-rw-r--r--Makefile1
2 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 87b01e5..833b28d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -51,5 +51,6 @@ hps_isw_handoff/
qmegawiz_errors_log.txt
cr_ie_info.json
u-boot
+doc_out/
c5_pin_model_dump.txt
hps_sdram_p0_all_pins.txt
diff --git a/Makefile b/Makefile
index 3e4af81..c6fa11d 100644
--- a/Makefile
+++ b/Makefile
@@ -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; \