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