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

chore: Don't hard code the path seps in the build dir

main
Henrik Böving 2022-02-19 18:15:43 +01:00
parent bd9ab34655
commit d0714c3aab
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

@ -63,7 +63,7 @@ def sourceLinker : IO (Name → Option DeclarationRange → String) := do
def htmlOutput (result : AnalyzerResult) (root : String) : IO Unit := do
let config := { root := root, result := result, currentName := none, sourceLinker := ←sourceLinker}
let basePath := FilePath.mk "./build/doc/"
let basePath := FilePath.mk "." / "build" / "doc"
let indexHtml := ReaderT.run index config
let notFoundHtml := ReaderT.run notFound config
FS.createDirAll basePath