From 081129b98d6068e50558740566f37ebbe9951a1d Mon Sep 17 00:00:00 2001
From: Arun Isaac
Date: Sat, 5 Feb 2022 08:45:53 +0530
Subject: Makefile: Copy HTML manual to website.

This was done correctly in the earlier autotools build system, but was
missed out in the migration to hand-written Makefiles.

* Makefile (website): Depend on website/manual/dev/en.
(website/manual/dev/en): New target.
(clean): Remove website/manual. Remove $(doc_html) recursively.
---
 Makefile | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 02f9d26..1fe1029 100644
--- a/Makefile
+++ b/Makefile
@@ -152,14 +152,20 @@ distcheck: $(dist_archive)
 
 # Build website
 
-website: website/index.html
+website: website/index.html website/manual/dev/en
 
 website/index.html: README.org build-aux/build-home-page.el
 	$(EMACS) -Q --batch --load build-aux/build-home-page.el --funcall build-website
 
+website/manual/dev/en: $(doc_html)
+	rm -rf $@
+	mkdir -p $(dir $@)
+	cp -vr $^ $@
+
 # Clean
 
 clean:
 	rm -f $(objects) $(dist_archive) $(dist_archive).asc Makefile.include website/index.html \
               $(DOC_SCM:.scm=.cwl) $(DOC_IMAGES) $(DOC_IMAGES:.png=.dot) $(DOC_OUT) \
-	      $(doc_html) $(doc_info) doc/skribilo.go
+	      $(doc_info) doc/skribilo.go
+	rm -rf $(doc_html) website/manual
-- 
cgit v1.2.3