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

