Skip to content

Commit

Permalink
Ensure sherlodoc is installed when generating docs
Browse files Browse the repository at this point in the history
  • Loading branch information
polytypic committed Oct 18, 2024
1 parent b0dd439 commit 5d0d027
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions update-gh-pages-for-tag
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,8 @@ EOF
exit 1
fi

opam install sherlodoc

mkdir $TMP
cd $TMP

Expand Down

0 comments on commit 5d0d027

Please sign in to comment.