diff --git a/navtreedata.js b/navtreedata.js
index 00cf62f1..10542796 100644
--- a/navtreedata.js
+++ b/navtreedata.js
@@ -195,9 +195,7 @@ var NAVTREE =
                 [ "Review a Pull Request", "/developer/getting_started/review_a_pull_request", null ],
                 [ "Commit to PR from Fork", "/developer/getting_started/commit_to_PR_from_fork", null ],
                 [ "Edit Submitty Documentation", "/developer/getting_started/edit_submitty_documentation", null ],
-                [ "VM Install using Vagrant", "/developer/getting_started/vm_install_using_vagrant", [
-                    [ "Vagrant QEMU on Apple Silicon", "/developer/getting_started/vm_install_using_vagrant_apple_silicon", null ]
-                ] ],
+                [ "VM Install using Vagrant", "/developer/getting_started/vm_install_using_vagrant", null ],
                 [ "Advanced Setup", "/developer/getting_started/phpstorm", [
                     [ "PhpStorm Setup Instructions", "/developer/getting_started/phpstorm", null ],
                     [ "Xdebug Setup Instructions", "/developer/getting_started/xdebug", null ],