diff --git a/build/pick_doc_commits.py b/scripts/pick_doc_commits.py similarity index 100% rename from build/pick_doc_commits.py rename to scripts/pick_doc_commits.py diff --git a/build/print_public_headers.py b/scripts/print_public_headers.py similarity index 100% rename from build/print_public_headers.py rename to scripts/print_public_headers.py