From 905655ea6ab6f25371415f2483e02ab34e3bb98a Mon Sep 17 00:00:00 2001 From: =?utf8?q?Marc-Andr=C3=A9=20Lureau?= Date: Sat, 9 Oct 2021 01:46:10 +0400 Subject: [PATCH] docs/sphinx: add static files to generated depfile MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit Signed-off-by: Marc-André Lureau Reviewed-by: John Snow Reviewed-by: Paolo Bonzini --- docs/sphinx/depfile.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/docs/sphinx/depfile.py b/docs/sphinx/depfile.py index b6fb926df1..99539adb48 100644 --- a/docs/sphinx/depfile.py +++ b/docs/sphinx/depfile.py @@ -13,6 +13,7 @@ import os import sphinx import sys +from pathlib import Path __version__ = '1.0' @@ -25,6 +26,10 @@ def get_infiles(env): if hasattr(mod, '__file__'): if mod.__file__: yield mod.__file__ + # this is perhaps going to include unused files: + for static_path in env.config.html_static_path: + for path in Path(static_path).rglob('*'): + yield str(path) def write_depfile(app, exception): -- 2.30.2