From 113d3c041f573885da654d1833acd8d19b6ae44c Mon Sep 17 00:00:00 2001
From: yslan <r05246001@ntu.edu.tw>
Date: Sat, 12 Oct 2024 12:50:28 -0500
Subject: [PATCH] upd makefile

---
 doc/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/doc/Makefile b/doc/Makefile
index 40a23ae20..dd69be2f9 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -18,3 +18,6 @@ help:
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+
+livehtml:
+	sphinx-autobuild "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)