From 0ef97385250bc1be92c4838060ee645bd65c3130 Mon Sep 17 00:00:00 2001 From: Sam Cowger Date: Wed, 19 Feb 2025 12:14:42 -0800 Subject: [PATCH] build: create and properly include exercises.zip by default --- Makefile | 4 ++-- docs/getting-started/tutorials/README.md | 3 ++- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index e525def..1904e28 100644 --- 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 index 18f6f17..9f9ea08 100644 --- 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). + ## Tutorials