Update bookshelf-docgen to version with HTML copying support.

finite-set-exercises
Joshua Potter 2023-05-05 13:11:17 -06:00
parent 4b32563cee
commit cc7b780d23
2 changed files with 4 additions and 4 deletions

View File

@ -16,9 +16,9 @@
{"git":
{"url": "https://github.com/jrpotter/bookshelf-docgen.git",
"subDir?": null,
"rev": "8e2df427700e42610ddb51137698a105555d381d",
"rev": "1333269547cdd3f297cf9097fb124ae7c413dd00",
"name": "doc-gen4",
"inputRev?": "8e2df427700e42610ddb51137698a105555d381d"}},
"inputRev?": "1333269547cdd3f297cf9097fb124ae7c413dd00"}},
{"git":
{"url": "https://github.com/mhuisi/lean4-cli",
"subDir?": null,
@ -52,7 +52,7 @@
{"git":
{"url": "https://github.com/fgdorais/lean4-unicode-basic",
"subDir?": null,
"rev": "ce508dcd1fd49ba15675861aafd864572a0b8252",
"rev": "be1f061688faa1dbb224773c54901661253fb4b8",
"name": "UnicodeBasic",
"inputRev?": "main"}},
{"git":

View File

@ -12,7 +12,7 @@ require std4 from git
"6006307d2ceb8743fea7e00ba0036af8654d0347"
require «doc-gen4» from git
"https://github.com/jrpotter/bookshelf-docgen.git" @
"8e2df427700e42610ddb51137698a105555d381d"
"1333269547cdd3f297cf9097fb124ae7c413dd00"
@[default_target]
lean_lib «Bookshelf» {