Skip to content

Commit

Permalink
CI: fix Sphinx not being built
Browse files Browse the repository at this point in the history
  • Loading branch information
@NatKarmios
NatKarmios committed Aug 5, 2024
1 parent cc00412 commit 0460dce
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
View file
Original file line number Diff line number Diff line change
Expand Up @@ -56,4 +56,4 @@ sphinx:
sphinx-watch:
sphinx-autobuild sphinx _docs/sphinx/

.PHONY: init-dev watch docs build c-init-env wisl-init-env js-init-env docs
.PHONY: init-dev watch docs build c-init-env wisl-init-env js-init-env docs odoc sphinx

0 comments on commit 0460dce

Please sign in to comment.