4.6.1.12. sphinx.builders.html.movefile

sphinx.builders.html.movefile(source, dest)[source]

Move a file, removing the destination if it exists.