Skip to content

Commit

Permalink
Tweak
Browse files Browse the repository at this point in the history
  • Loading branch information
@vbeffara
vbeffara committed Feb 28, 2024
1 parent 30e7734 commit 657db63
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions lakefile.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,5 +17,4 @@ require mathlib from git "https://github.com/leanprover-community/mathlib4.git"

require checkdecls from git "https://github.com/PatrickMassot/checkdecls.git"

meta if get_config? env = some "dev" then require «doc-gen4» from git
"https://github.com/leanprover/doc-gen4" @ "main"
require «doc-gen4» from git "https://github.com/leanprover/doc-gen4" @ "main"

0 comments on commit 657db63

Please sign in to comment.