doc_sources = [
  'cvxopt.inv',
  'cvxpy.inv',
  'cypari2.inv',
  'cysignals.inv',
  'flint.inv',
  'fpylll.inv',
  'gmpy2.inv',
  'ipywidgets.inv',
  'matplotlib.inv',
  'mpmath.inv',
  'networkx.inv',
  'numpy.inv',
  'pplpy.inv',
  'python.inv',
  'rpy2.inv',
  'scipy.inv',
  'sympy.inv',
]

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

