We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 6c210cf commit e1c3d73Copy full SHA for e1c3d73
1 file changed
Makefile
@@ -12,8 +12,9 @@ ci-job-clippy:
12
@echo "Running clippy on source files..."
13
@./tools/run_clippy.sh
14
15
-.PHONY: ci-job-mdbook
16
ci-job-mdbook:
+ @echo "Generating book.toml..."
17
+ @./tools/gen_book_toml.sh ci
18
@echo "Installing mdBook if necessary and building docs..."
19
@which mdbook >/dev/null 2>&1 || cargo install mdbook
20
@mdbook build docs
@@ -25,9 +26,4 @@ ci-runner-github: ci-job-format ci-job-clippy ci-job-mdbook
25
26
@echo "Running tests..."
27
@cargo test
28
-.PHONY: ci-mdbook-job
29
-ci-job-mdbook:
30
- @echo "Installing mdBook if necessary and building docs..."
31
- @cargo install mdbook --version "^0.4" --force
32
- @mdbook build docs
33
0 commit comments