tools(docs-prebuild): output something

2024-06-19 01:32:03 +08:00 · 2024-06-19 01:32:03 +08:00 · fe5c47e21a
parent ad5707408c
commit fe5c47e21a
1 changed files with 1 additions and 0 deletions
--- 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}")