Start jekyll documentation server on devenv up

.envrc.example

@@ -3,3 +3,8 @@
 watch_file flake.nix
 watch_file flake.lock
 use flake . --no-pure-eval
+
+# OPTIONAL: cConfigure with your personal access token to GitHub for
+# additional data when looking at the local documentation server.  See
+# https://github.com/jekyll/github-metadata/blob/main/docs/authentication.md
+#JEKYLL_GITHUB_TOKEN=

README.md

@@ -12,7 +12,10 @@ New to Sequent? [Getting Started](http://www.sequent.io/docs/getting-started.htm
 
 ## Contributing
 
-Fork and send pull requests
+Fork and send pull requests. You can setup a working development environment manually (see below) or by using https://devenv.sh with Nix. You can also
+use https://direnv.net/ do setup your environment automatically, see `.envrc.example` for the minimal configuration.
+
+Then just run `devenv up` to start Postgres and Jekyll. Run `devenv test` to (re-)create the databases and run the specs.
 
 ## Documentation
 

docs/Gemfile.lock

@@ -284,6 +284,7 @@ GEM
 
 PLATFORMS
   arm64-darwin-23
+  arm64-darwin-24
   x86_64-linux
 
 DEPENDENCIES

flake.nix

@@ -56,6 +56,13 @@
                     package = pkgs.ruby;
                   };
 
+                  processes.jekyll.exec = ''
+                    cd docs
+                    bundle
+                    bundle exec jekyll serve --livereload
+                  '';
+
+
                   services.postgres = {
                     enable = true;
                     listen_addresses = "127.0.0.1";