chore: add more stuff to section

leanprover-community · Oct 19, 2024 · 92302b8 · 92302b8
1 parent d116dba
commit 92302b8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lakefile.lean b/lakefile.lean
@@ -37,7 +37,6 @@ def buildTextFileUnlessUpToDate
     build
     clearFileHash file
   fetchTextFileTrace file
-end
 
 /-- Like `buildFileAfterDep` but interprets `file` as a text file
 so that line ending differences across platform do not impact the hash. -/
@@ -49,6 +48,7 @@ so that line ending differences across platform do not impact the hash. -/
     let depTrace := depTrace.mix (← extraDepTrace)
     let trace ← buildTextFileUnlessUpToDate file depTrace <| build depInfo
     return (file, trace)
+end
 
 /-- Target to update `package-lock.json` whenever `package.json` has changed. -/
 target widgetPackageLock : FilePath := do