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

fix: Fix linking of importedBy modules

main
Henrik Böving 2022-07-22 17:03:24 +02:00
parent 6be2e4dc4e
commit 95b79c1744
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
DocGen4/Output.lean
View File

@ -132,7 +132,7 @@ def htmlOutputIndex (baseConfig : SiteBaseContext) : IO Unit := do
let fileContent ← FS.readFile entry.path let fileContent ← FS.readFile entry.path
let .ok jsonContent := Json.parse fileContent | unreachable! let .ok jsonContent := Json.parse fileContent | unreachable!
let .ok (module : JsonModule) := fromJson? jsonContent | unreachable! let .ok (module : JsonModule) := fromJson? jsonContent | unreachable!
allModules := (module.name, Json.str <| moduleNameToLink module.name |>.run baseConfig) :: allModules allModules := (module.name, Json.str <| moduleNameToLink (String.toName module.name) |>.run baseConfig) :: allModules
allDecls := (module.declarations.map (λ d => (d.name, toJson d))) ++ allDecls allDecls := (module.declarations.map (λ d => (d.name, toJson d))) ++ allDecls
for inst in module.instances do for inst in module.instances do
let mut insts := allInstances.findD inst.className #[] let mut insts := allInstances.findD inst.className #[]