From 91fea4f45d9d45ccea3eb162e150588feb38e437 Mon Sep 17 00:00:00 2001 From: David Runge Date: Wed, 29 Nov 2023 13:38:31 +0100 Subject: [PATCH] Add make target to rebuild HTML files when markdown changes Signed-off-by: David Runge --- book/Makefile | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/book/Makefile b/book/Makefile index af41109..16e7343 100644 --- a/book/Makefile +++ b/book/Makefile @@ -32,6 +32,10 @@ help: html-linkcheck: clean html @$(LYCHEE) "$(BUILDDIR)/html/"*.html +# use watchexec to rebuild the HTML whenever a markdown file changes +html-watch: + @$(WATCHEXEC) --shell bash -e css,md 'make clean html' + # spell check all sources # NOTE: diagrams are not yet spell checked, but we emit the required changes codespell: