summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to '')
-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; \