README: bundle install not necessary

The Makefile already runs `bundle install`, so we don't need to call it manually. Signed-off-by: Gerwin Klein <[email protected]>
seL4 · May 20, 2024 · d90d1ae · d90d1ae
1 parent c3c8d0d
commit d90d1ae
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -86,7 +86,6 @@ you just want to build the site, you can skip these.
 To build and host locally:
 
 ```sh
-bundle install
 make serve
 #   Server address: http://127.0.0.1:4000/
 #   Server running... press ctrl-c to stop.