doc_sources = [
'custom-codemirror-monokai.css',
'custom-furo.css',
'custom-jupyter-sphinx.css',
'custom-tabs.css',
'favicon.ico',
'jupyter-sphinx-furo.js',
'logo_sagemath_black.svg',
'logo_sagemath_white.svg',
'pdf.png',
'sageicon.png',
'sagelogo.png',
]
foreach file : doc_sources
doc_src += fs.copyfile(file)
endforeach