Skip to content

Commit c7d485a

Browse files
committed
chore: Small modifications in MAKEFILE
1 parent e1c3d73 commit c7d485a

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

Makefile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@ ci-job-clippy:
1212
@echo "Running clippy on source files..."
1313
@./tools/run_clippy.sh
1414

15+
.PHONY: ci-job-mdbook
1516
ci-job-mdbook:
1617
@echo "Generating book.toml..."
1718
@./tools/gen_book_toml.sh ci

0 commit comments

Comments
 (0)