1doc_sources = [ 2 'genindex-single.html', 3 'genindex-split.html', 4 'genindex.html', 5 'layout.html', 6 'search.html', 7 'theme.conf', 8] 9 10foreach file : doc_sources 11 doc_src += fs.copyfile(file) 12endforeach 13 14subdir('static') 15 16