pw_ide: Make Sphinx extensions upstream-only This change ensures that upstream checkouts push you to install the Sphinx extensions, without passing that on to downstream projects. Change-Id: Ic0f460f6c3a12116a584070d2734a3b7c12b13ff Reviewed-on: https://pigweed-review.googlesource.com/c/pigweed/pigweed/+/171690 Reviewed-by: Anthony DiGirolamo <tonymd@google.com> Commit-Queue: Chad Norvell <chadnorvell@google.com>
Pigweed is an open source collection of embedded-targeted libraries–or as we like to call them, modules. These modules are building blocks and infrastructure that enable faster and more reliable development on small-footprint MMU-less 32-bit microcontrollers like the STMicroelectronics STM32L452 or the Nordic nRF52832.
For more information please see our website: https://pigweed.dev/.