From 8eba2720083d49bf6550efb35f32c8fbdd2ef975 Mon Sep 17 00:00:00 2001
From: Alejandro Soto <alejandro@34project.org>
Date: Fri, 6 Oct 2023 23:39:06 -0600
Subject: Makefile: add doc_file rule to dist

---
 Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Makefile')

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; \
-- 
cgit v1.2.3