diff --git a/nightly/contribution/development/build_process/index.html b/nightly/contribution/development/build_process/index.html index 1b9502a7..3e83dd99 100644 --- a/nightly/contribution/development/build_process/index.html +++ b/nightly/contribution/development/build_process/index.html @@ -1100,7 +1100,7 @@
  • Build a release build with: