docs: update docs

Author: unnawut

Makefile

@@ -2,15 +2,17 @@ LEAN_SPEC_REPO_URL := https://github.com/leanEthereum/leanSpec
 LEAN_SPEC_REPO_DIR := leanSpec
 
 .PHONY: install test prod package tag release clean help
+.DEFAULT_GOAL := release
 
 help:
 	@echo "Usage:"
+	@echo "  make         - Alias for \`make release\`"
 	@echo "  make install - Clone leanSpec repository"
 	@echo "  make test    - Generate keys for test scheme"
 	@echo "  make prod    - Generate keys for prod scheme"
 	@echo "  make package - Create tar.gz archives from existing test_scheme/ and prod_scheme/ folders"
+	@echo "  make release - Run the entire workflow, from installing dependencies, key generation, to creating archives"
 	@echo "  make tag     - Display leanSpec HEAD commit as leanSpec-<commit>, useful for tagging a release"
-	@echo "  make release - Generate keys (test & prod) and create tar.gz archives"
 	@echo "  make clean   - Remove cloned leanSpec repository and release folder"
 
 install:

README.md

@@ -7,14 +7,24 @@
 This repository provides a Makefile with commands to generate leanSig keys for different schemes, suitable for usage in [leanSpec](https://github.com/leanEthereum/leanSpec/) testing:
 
 ```bash
+make          # Alias for `make release`
 make help     # Display available commands
 make install  # Clone leanSpec repository
 make test     # Generate keys for test scheme
 make prod     # Generate keys for prod scheme
-make release  # Generate keys and create tar.gz archives (test_scheme.tar.gz, prod_scheme.tar.gz)
+make package  # Create tar.gz archives from existing test_scheme/ and prod_scheme/ folders"
+make tag      # Display leanSpec HEAD commit as leanSpec-<commit>, useful for tagging a release"
+make release  # Run the entire workflow, from installing dependencies, key generation, to creating archives
 make clean    # Remove cloned leanSpec repository and release folder
 ```
 
+## Quick start
+
+Run the entire workflow, i.e. install dependencies, key generation, creating .tar.gz archives:
+```bash
+make
+```
+
 ## Examples
 
 Generate test scheme keys:
@@ -31,9 +41,9 @@ make prod
 
 ## Preparing a release
 
-Create release archives:
+Package the generated keys into release archives:
 ```bash
-make release
+make package
 ```
 
 Use the output files (`.tar.gz` files) in [`release/`](./release/) folder to publish a new release.