Book: add make clean for mina book

openmina · Nov 29, 2023 · b27d13b · b27d13b
1 parent 1db361d
commit b27d13b
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/book/Makefile b/book/Makefile
@@ -49,3 +49,10 @@ all: check
 
 build: check
 	mdbook build
+
+#
+# use `make clean` to clean the generated artefacts
+#
+
+clean:
+	mdbook clean
diff --git a/book/README.md b/book/README.md
@@ -9,6 +9,8 @@ $ # install dependencies
 $ make deps
 $ # serve the page locally
 $ make
+$ # clean
+$ make clean
 ```
 
 The specifications in the book are dynamically generated. Refer to the [specifications/](specifications/) directory.