From 1eed0982ea1a24264ebb7cf3967112bf604c1afe Mon Sep 17 00:00:00 2001 From: Michael Bacarella Date: Mon, 8 Nov 2021 11:09:46 -0800 Subject: [PATCH 1/3] sphinx-autobuild args changed --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 4823d283deb..1970ba1dcc3 100644 --- a/Makefile +++ b/Makefile @@ -110,9 +110,10 @@ distclean: clean doc: sphinx-build doc doc/_build +# livedoc-deps: you may need to [pip3 install sphinx-autobuild] and [pip3 install sphinx-rtd-theme] livedoc: cd doc && sphinx-autobuild . _build \ - -p 8888 -q --host $(shell hostname) -r '\.#.*' + --port 8888 -q --host $(shell hostname) --re-ignore '\.#.*' update-jbuilds: $(BIN) $(BIN) build @doc/runtest --auto-promote From c48ce1cf3118ae08e6de989d33ffcc19f2a6193f Mon Sep 17 00:00:00 2001 From: Michael Bacarella Date: Mon, 8 Nov 2021 11:10:04 -0800 Subject: [PATCH 2/3] Linking Modes should not be a top-level section --- doc/dune-files.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/dune-files.rst b/doc/dune-files.rst index ac6e29f8d11..5cd338a5715 100644 --- a/doc/dune-files.rst +++ b/doc/dune-files.rst @@ -848,7 +848,7 @@ files for executables. See `executables_implicit_empty_intf`_. available since the 3.0 version of the Dune language. Linking Modes -============= +------------- The ``modes`` field allows selecting which linking modes will be used to link executables. Each mode is a pair ``( From 7ab814c9957ea58a1720bb56ff933cfe76fcc95c Mon Sep 17 00:00:00 2001 From: Michael Bacarella Date: Mon, 8 Nov 2021 14:07:31 -0800 Subject: [PATCH 3/3] Linking modes should be a sub-sub-section --- doc/dune-files.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/dune-files.rst b/doc/dune-files.rst index 5cd338a5715..554b9912541 100644 --- a/doc/dune-files.rst +++ b/doc/dune-files.rst @@ -848,7 +848,7 @@ files for executables. See `executables_implicit_empty_intf`_. available since the 3.0 version of the Dune language. Linking Modes -------------- +~~~~~~~~~~~~~ The ``modes`` field allows selecting which linking modes will be used to link executables. Each mode is a pair ``(