From eb618d64a12f1a02524bbb2494e3d552ed31d439 Mon Sep 17 00:00:00 2001 From: Dhruv Makwana Date: Mon, 24 Jun 2024 11:59:06 +0100 Subject: [PATCH] Update README.md Fix https://github.com/rems-project/cerberus/issues/326 --- README.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 11feeffc..a33ace09 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,10 @@ -# CN-tutorial +# CN Tutorial -In order to build the tutorial, you will first need to install [asciidoctor](https://asciidoctor.org/). +View the tutorial here: https://rems-project.github.io/cn-tutorial/ + +## Building + +Install dependencies: [asciidoctor](https://asciidoctor.org/). Run `make` to produce `build/tutorial.html` and its dependencies: especially, `build/exercises/*.c` and `build/solutions/*c`.