r
/
bookshelf-doc
mirror of https://github.com/jrpotter/bookshelf-doc
1
Fork 0
Code Issues Packages Projects Releases Wiki Activity

fix: whenever you force push a kitten dies

main
Henrik Böving 2022-07-26 15:17:56 +02:00
parent 4c55f98c54
commit 763784e116
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
lakefile.lean
View File

@ -25,7 +25,7 @@ require lake from git
"https://github.com/leanprover/lake" @ "master" "https://github.com/leanprover/lake" @ "master"
require leanInk from git require leanInk from git
"https://github.com/hargonix/LeanInk" @ "doc-gen" "https://github.com/hargonix/LeanInk" @ "doc-gen-json"
module_facet docs : FilePath := fun mod => do module_facet docs : FilePath := fun mod => do
let some docGen4 ← findLeanExe? `«doc-gen4» let some docGen4 ← findLeanExe? `«doc-gen4»

2
lean_packages/manifest.json
View File

@ -4,7 +4,7 @@
"rev": "112b35fc348a4a18d2111ac2c6586163330b4941", "rev": "112b35fc348a4a18d2111ac2c6586163330b4941",
"name": "Cli"}, "name": "Cli"},
{"url": "https://github.com/hargonix/LeanInk", {"url": "https://github.com/hargonix/LeanInk",
"rev": "cb529041f71a4ea8348628a8c723326e3e4bdecc", "rev": "5d0aaba8b4fceeaf3a719e014dd42ca5d02f4810",
"name": "leanInk"}, "name": "leanInk"},
{"url": "https://github.com/xubaiw/Unicode.lean", {"url": "https://github.com/xubaiw/Unicode.lean",
"rev": "1fb004da96aa1d1e98535951e100439a60f5b7f0", "rev": "1fb004da96aa1d1e98535951e100439a60f5b7f0",