Skip to content

Commit 4524838

Browse files
authored
Revert D73804939
Differential Revision: D73942429 Pull Request resolved: #10589
1 parent 2b5ca16 commit 4524838

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

docs/source/conf.py

+2-2
Original file line numberDiff line numberDiff line change
@@ -18,9 +18,9 @@
1818
# add these directories to sys.path here. If the directory is relative to the
1919
# documentation root, use os.path.abspath to make it absolute, like shown here.
2020
#
21+
import distutils.file_util
2122
import glob
2223
import os
23-
import shutil
2424
import sys
2525
from typing import Any
2626

@@ -135,7 +135,7 @@
135135
# Copy .md files from source dir to gallery dir
136136
for f in glob.glob(os.path.join(source_dir, "*.md")):
137137

138-
shutil.copyfile(f, gallery_dir)
138+
distutils.file_util.copy_file(f, gallery_dir, update=True)
139139

140140
source_suffix = [".rst", ".md"]
141141

0 commit comments

Comments
 (0)