From d0714c3aab22eeee1ed65300d5dbafb86c69a78d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Sat, 19 Feb 2022 18:15:43 +0100
Subject: [PATCH] chore: Don't hard code the path seps in the build dir

---
 DocGen4/Output.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DocGen4/Output.lean b/DocGen4/Output.lean
index e8cb33f..516fced 100644
--- a/DocGen4/Output.lean
+++ b/DocGen4/Output.lean
@@ -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