doc_sources = [
'a_poset.png',
'complete-binary-trees-4.pdf',
'complete-binary-trees-4.png',
'day-doubling.png',
'day-doubling.tex',
'graphs-5.pdf',
'graphs-5.png',
'k-rim.JPG',
'polytope.png',
'prefix-tree-graphs-4.pdf',
'prefix-tree-graphs-4.png',
'prefix-tree-graphs-4.tikz',
'prefix-tree-partitions-5.pdf',
'prefix-tree-partitions-5.png',
'prefix-tree-partitions-5.tikz',
]
foreach file : doc_sources
doc_src += fs.copyfile(file)
endforeach