From 7d527bd1117ddcf16f61d3b69c950e43800ff082 Mon Sep 17 00:00:00 2001
From: Loic Guegan <manzerbredes@mailbox.org>
Date: Sat, 14 Oct 2023 20:39:09 +0200
Subject: [PATCH] Minor changes

---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index d0c3cbf..1cc691e 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,11 @@ BUILDDIR      = build
 help:
 	@$(SPHINXBUILD) -M help "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
 
-.PHONY: help Makefile
+# Custom (by me Loïc Guégan)
+watch:
+	find ./source -type f | entr make html
+
+.PHONY: help Makefile watch
 
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).