build_docs: boostlook (#80)

boostorg · Oct 14, 2024 · d32b5c8 · d32b5c8
1 parent 8dd518e
commit d32b5c8
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/build_docs/linuxdocs.sh b/build_docs/linuxdocs.sh
@@ -326,6 +326,7 @@ if [ "$skipboostoption" != "yes" ] ; then
     git submodule update --init tools/boostdep
     git submodule update --init tools/docca
     git submodule update --init tools/quickbook
+    git submodule update --init tools/boostlook
 
     if [ "$typeoption" = "main" ]; then
         git submodule update --init tools/auto_index

diff --git a/build_docs/macosdocs.sh b/build_docs/macosdocs.sh
@@ -359,6 +359,7 @@ if [ "$skipboostoption" != "yes" ] ; then
     git submodule update --init tools/boostdep
     git submodule update --init tools/docca
     git submodule update --init tools/quickbook
+    git submodule update --init tools/boostlook
     git submodule update --init tools/build
     sed -i 's~GLOB "/usr/share/java/saxon/"~GLOB "/Library/Java/Extensions/" "/usr/share/java/saxon/"~' tools/build/src/tools/saxonhe.jam
 

diff --git a/build_docs/windowsdocs.ps1 b/build_docs/windowsdocs.ps1
@@ -523,6 +523,7 @@ if ( -Not ${skip-boost} ) {
     git submodule update --init tools/docca
     git submodule update --init tools/quickbook
     git submodule update --init tools/build
+    git submodule update --init tools/boostlook
 
     if ($typeoption -eq "main") {
         git submodule update --init tools/auto_index