build: create and properly include exercises.zip by default

rems-project · Feb 21, 2025 · 0ef9738 · 0ef9738
1 parent df9edfd
commit 0ef9738
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/Makefile b/Makefile
@@ -65,10 +65,10 @@ check: check-tutorial check-archive
 ##############################################################################
 # Tutorial document
 
-tutorial: exercises mkdocs.yml $(shell find docs -type f)
+tutorial: exercises docs/exercises.zip mkdocs.yml $(shell find docs -type f)
 	mkdocs build --strict
 
-serve: exercises mkdocs.yml $(shell find docs -type f)
+serve: exercises docs/exercises.zip mkdocs.yml $(shell find docs -type f)
 	mkdocs serve
 
 ##############################################################################

diff --git a/docs/getting-started/tutorials/README.md b/docs/getting-started/tutorials/README.md
@@ -13,7 +13,8 @@ elaborate separation logic specifications of data structures.
 ## Source files
 
 The source files for all the exercises and examples below can be downloaded
-from [here](link:exercises.zip).
+from [here](../../exercises.zip).
+<!-- Note: `../../exercises.zip` is meant to be created via `make` -->
 
 ## Tutorials