doc_sources = [
  'polyhedra_quickref.rst',
  'polyhedra_quicktutorial.rst',
  'polyhedra_tutorial.rst',
  'polytope_tikz.rst',
  'tips.rst',
  'visualization.rst',
]

foreach file : doc_sources
  doc_src += fs.copyfile(file)
endforeach

