docs/sphinx: add static files to generated depfile
Signed-off-by: Marc-André Lureau <marcandre.lureau@redhat.com> Reviewed-by: John Snow <jsnow@redhat.com> Reviewed-by: Paolo Bonzini <pbonzini@redhat.com>
This commit is contained in:
parent
cd0a9e983c
commit
905655ea6a
|
@ -13,6 +13,7 @@
|
||||||
import os
|
import os
|
||||||
import sphinx
|
import sphinx
|
||||||
import sys
|
import sys
|
||||||
|
from pathlib import Path
|
||||||
|
|
||||||
__version__ = '1.0'
|
__version__ = '1.0'
|
||||||
|
|
||||||
|
@ -25,6 +26,10 @@ def get_infiles(env):
|
||||||
if hasattr(mod, '__file__'):
|
if hasattr(mod, '__file__'):
|
||||||
if mod.__file__:
|
if mod.__file__:
|
||||||
yield 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):
|
def write_depfile(app, exception):
|
||||||
|
|
Loading…
Reference in New Issue