diff --git a/justfile b/justfile
index c58c146e..b154948d 100644
--- a/justfile
+++ b/justfile
@@ -28,7 +28,7 @@ test-update:
 
 # Update the per-file header comments
 update-headers:
-	php build/update_header_comments.php
+	php tools/update_header_comments.php
 
 # Run unit tests and generate test-coverage report
 coverage:
diff --git a/build/header_comment.txt b/tools/header_comment.txt
similarity index 100%
rename from build/header_comment.txt
rename to tools/header_comment.txt
diff --git a/build/update_header_comments.php b/tools/update_header_comments.php
similarity index 100%
rename from build/update_header_comments.php
rename to tools/update_header_comments.php