diff --git a/documentation/staging.sh b/documentation/build_all_to_dist.sh
similarity index 100%
rename from documentation/staging.sh
rename to documentation/build_all_to_dist.sh