[PATCH 1/8] Pipfile: update dependencies for sphinx-tags

[Antonin Godard <antonin.godard@bootlin.com>]

To prepare for the sphinx-tags addition, update our requirements and add
sphinx-tag, as well as sphinx-design which is a dependency of sphinx-tags.

Signed-off-by: Antonin Godard <antonin.godard@bootlin.com>
---
 documentation/Pipfile | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/documentation/Pipfile b/documentation/Pipfile
index f415cbf3f..c857d9940 100644
--- a/documentation/Pipfile
+++ b/documentation/Pipfile
@@ -12,6 +12,8 @@ sphinx = "*"
 sphinx-rtd-theme = "*"
 pyyaml = "*"
 sphinx-copybutton = "*"
+sphinx-design = "*"
+sphinx-tags = "*"
 # SVG to PNG only supported since 2.0.0
 sphinxcontrib-svg2pdfconverter = ">=2.0.0"
 

-- 
2.55.0