From 77c554c1315579a418db0ea84fac947720eecee1 Mon Sep 17 00:00:00 2001 From: yslan Date: Sat, 12 Oct 2024 14:08:59 -0500 Subject: [PATCH] fine tune --- doc/Makefile | 4 ++-- doc/source/conf.py | 7 +++++-- 2 files changed, 7 insertions(+), 4 deletions(-) diff --git a/doc/Makefile b/doc/Makefile index dd69be2f9..bdc5727f4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -19,5 +19,5 @@ help: %: Makefile @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) -livehtml: - sphinx-autobuild "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) +livehtml: html + SKIPDOXYGEN=1 sphinx-autobuild --no-initial --re-ignore '.*\.swp' --ignore source/doxygen "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O) diff --git a/doc/source/conf.py b/doc/source/conf.py index ae92f9090..b7de9d588 100644 --- a/doc/source/conf.py +++ b/doc/source/conf.py @@ -19,7 +19,7 @@ # import os # import sys # sys.path.insert(0, os.path.abspath('.')) - +import os from os import makedirs, path from datetime import date import subprocess @@ -235,5 +235,8 @@ def build_doxygen(app): def setup(app): - app.connect("builder-inited", build_doxygen) + skipDoxygen = os.getenv("SKIPDOXYGEN") + if skipDoxygen is None or skipDoxygen==0: + app.connect("builder-inited", build_doxygen) + pass