From 17d5c7de34d92b45b3ad362e63326b87bc389f95 Mon Sep 17 00:00:00 2001 From: Tom van Woudenberg Date: Mon, 30 Dec 2024 14:39:35 +0100 Subject: [PATCH] Update .gitmodules --- .gitmodules | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitmodules b/.gitmodules index 6dc0128..6dd4808 100644 --- a/.gitmodules +++ b/.gitmodules @@ -16,6 +16,7 @@ [submodule "book/external/JupyterBook-Patches"] path = book/external/JupyterBook-Patches url = https://github.com/TeachBooks/JupyterBook-Patches.git + branch = manual_docs [submodule "book/external/Download-Link-Replacer"] path = book/external/Download-Link-Replacer url = https://github.com/TeachBooks/Download-Link-Replacer.git