tree 9488bc85d60758b779cdc7fab837c071a2ae0b4c
parent 8ff216cef6dcfd1a368d3a97aef8cd28c372a0dc
author Sergiu Deitsch <sergiu.deitsch@gmail.com> 1739788030 +0100
committer Sergiu Deitsch <sergiu.deitsch@gmail.com> 1739807087 -0800

Specify docs requirements

Use `pip install -r docs/requirements.txt` (e.g., in a virtual environment) to install Python dependencies required for building the documentation.

Change-Id: Ied9bd505bd6fc92f8c04f526ebd3ccacec306371