From a10186afaa518b0c6ba6e7a904bcb75e6c3f972f Mon Sep 17 00:00:00 2001 From: sdarwin Date: Tue, 14 Jan 2025 17:10:37 -0700 Subject: [PATCH] build_docs: windows, depinst.py correction --- build_docs/windowsdocs.ps1 | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/build_docs/windowsdocs.ps1 b/build_docs/windowsdocs.ps1 index 6351173..8e2dc5a 100755 --- a/build_docs/windowsdocs.ps1 +++ b/build_docs/windowsdocs.ps1 @@ -609,8 +609,9 @@ if ( -Not ${skip-boost} ) { git submodule update --init tools/boostlook git submodule update --init tools/auto_index - python tools/boostdep/depinst/depinst.py ../tools/quickbook - python tools/boostdep/depinst/depinst.py ../tools/auto_index + # However, "--ignore $REPONAME" is not yet working. + python tools/boostdep/depinst/depinst.py --ignore $REPONAME ../tools/quickbook + python tools/boostdep/depinst/depinst.py --ignore $REPONAME ../tools/auto_index # Recopy the library, if it was overwritten by the submodule updates that just occurred. if ( -Not ($BOOSTROOTLIBRARY -eq "yes") ) {