boostorg / release-tools

5 stars 24 forks source link

In build_docs, run depinst.py instead of updating all submodules #41

Closed sdarwin closed 1 year ago