diff options
author | Nathan Skrzypczak <nathan.skrzypczak@gmail.com> | 2022-03-25 12:06:51 +0100 |
---|---|---|
committer | Dave Wallace <dwallacelf@gmail.com> | 2022-05-24 16:58:36 -0400 |
commit | 1e167a4aadcf254cc8b755b3b45843604de58cb2 (patch) | |
tree | 89ebf6ef02059cd2615956ab4b05834ebde39748 /extras/vpp_if_stats | |
parent | 26c39878ad8c2e5e673956327badcd6e419488db (diff) |
docs: make docs build incremental
This patch makes the `make docs` directive incremental
avoiding re-running the siphon when the source hasn't
changed, and leveraging sphinx internal cache.
It adds a `make rebuild-docs` directive for cases where
this caching logic might break, e.g. in CI.
The virtualenv doesn't also get recreated on each build,
which might be enough when writing docs, provided
automated process leverage its rebuild counterpart.
Type: improvement
Change-Id: Ie90de3adebeed017b249cad81c6c160719f71e8d
Signed-off-by: Nathan Skrzypczak <nathan.skrzypczak@gmail.com>
Signed-off-by: Dave Wallace <dwallacelf@gmail.com>
Diffstat (limited to 'extras/vpp_if_stats')
0 files changed, 0 insertions, 0 deletions