diff --git a/src/tools/docs-prebuild.py b/src/tools/docs-prebuild.py index f01223e..c830fe5 100644 --- a/src/tools/docs-prebuild.py +++ b/src/tools/docs-prebuild.py @@ -21,3 +21,4 @@ copy_map: dict[Path, Path] = { for target, destination in copy_map.items(): copyfile(target, destination) + print(f"{target}\t->\t{destination}")