From 9e867f5151928c5f16a243d2fb65d968fc0d542f Mon Sep 17 00:00:00 2001 From: Xubai Wang Date: Mon, 21 Feb 2022 23:29:23 +0800 Subject: [PATCH] refactor: make site-root an actual file --- DocGen4/Output.lean | 2 +- DocGen4/Output/Base.lean | 1 + static/site-root.js | 1 + 3 files changed, 3 insertions(+), 1 deletion(-) create mode 100644 static/site-root.js diff --git a/DocGen4/Output.lean b/DocGen4/Output.lean index 0860072..dcf51d0 100644 --- a/DocGen4/Output.lean +++ b/DocGen4/Output.lean @@ -89,7 +89,7 @@ def htmlOutput (result : AnalyzerResult) (root : String) : IO Unit := do FS.writeFile (basePath / "nav.js") navJs FS.writeFile (basePath / "search.js") searchJs FS.writeFile (basePath / "mathjax-config.js") mathjaxConfigJs - FS.writeFile (basePath / "site-root.js") s!"export const SITE_ROOT = \"{config.root}\";"; + FS.writeFile (basePath / "site-root.js") (siteRootJs.replace "{siteRoot}" config.root) FS.writeFile (basePath / "find" / "index.html") findHtml.toString FS.writeFile (basePath / "find" / "find.js") findJs diff --git a/DocGen4/Output/Base.lean b/DocGen4/Output/Base.lean index 6020686..0188511 100644 --- a/DocGen4/Output/Base.lean +++ b/DocGen4/Output/Base.lean @@ -47,6 +47,7 @@ def moduleNameToDirectory (basePath : FilePath) (n : Name) : FilePath := section Static def styleCss : String := include_str "./static/style.css" + def siteRootJs : String := include_str "./static/site-root.js" def navJs : String := include_str "./static/nav.js" def searchJs : String := include_str "./static/search.js" def findJs : String := include_str "./static/find/find.js" diff --git a/static/site-root.js b/static/site-root.js new file mode 100644 index 0000000..0663d6b --- /dev/null +++ b/static/site-root.js @@ -0,0 +1 @@ +export const SITE_ROOT = "{siteRoot}"; \ No newline at end of file