4.12.1.2. sphinx.builders.texinfo.copyfile

sphinx.builders.texinfo.copyfile(source, dest)[source]

Copy a file and its modification times, if possible.