From fe5c47e21ada8196fc16f3da02b58cd4e7aa5d13 Mon Sep 17 00:00:00 2001
From: Mark Joshwel <mark@joshwel.co>
Date: Wed, 19 Jun 2024 01:32:03 +0800
Subject: [PATCH] tools(docs-prebuild): output something

---
 src/tools/docs-prebuild.py | 1 +
 1 file changed, 1 insertion(+)

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}")