From: Marc-André Lureau <[email protected]>
Signed-off-by: Marc-André Lureau <[email protected]>
Reviewed-by: John Snow <[email protected]>
Reviewed-by: Paolo Bonzini <[email protected]>
---
docs/sphinx/depfile.py | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/docs/sphinx/depfile.py b/docs/sphinx/depfile.py
index b6fb926df11d..99539adb4892 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.33.0.721.g106298f7f9
