Note on CI, Makefile

Makefile

@@ -0,0 +1,7 @@
+run:
+	@mdbook serve --open
+deploy:
+	@mdbook clean
+	@mdbook build
+	@rsync -rauz --del --groupmap=erin:www-data --progress book/ erin@is-cute.ml:~/mercury-book
+	@git push -u origin main

src/development/workflow.md

@@ -28,3 +28,6 @@ Use inline [rustdoc](https://doc.rust-lang.org/rustdoc/what-is-rustdoc.html) to
 ## 4. Push
 Push the code to a new branch in the repository.
 If it's ready and fully working, make a pull request to merge it into `main`.
+
+## 5. CI
+Eventually, I want to have **CI** enabled, to allow automated tests, checking, and releases.