From c8b558a2d117e638f4c6f6ef4d773378806b9d8a Mon Sep 17 00:00:00 2001
From: tydeu <tydeu@hatpress.net>
Date: Sun, 15 Aug 2021 19:16:12 -0400
Subject: [PATCH] refactor: remove 'build' from  Target/Trace/Task file names

---
 Lake/Build.lean                        | 2 +-
 Lake/BuildTargets.lean                 | 2 +-
 Lake/Package.lean                      | 2 +-
 Lake/{BuildTarget.lean => Target.lean} | 4 ++--
 Lake/{BuildTask.lean => Task.lean}     | 0
 Lake/{BuildTrace.lean => Trace.lean}   | 0
 6 files changed, 5 insertions(+), 5 deletions(-)
 rename Lake/{BuildTarget.lean => Target.lean} (99%)
 rename Lake/{BuildTask.lean => Task.lean} (100%)
 rename Lake/{BuildTrace.lean => Trace.lean} (100%)

diff --git a/Lake/Build.lean b/Lake/Build.lean
index bf1e9d86ff..b970a67a97 100644
--- a/Lake/Build.lean
+++ b/Lake/Build.lean
@@ -5,7 +5,7 @@ Authors: Gabriel Ebner, Sebastian Ullrich, Mac Malone
 -/
 import Lean.Data.Name
 import Lean.Elab.Import
-import Lake.BuildTarget
+import Lake.Target
 import Lake.BuildTop
 import Lake.Resolve
 import Lake.Package
diff --git a/Lake/BuildTargets.lean b/Lake/BuildTargets.lean
index c9c134142e..5816fcbcdd 100644
--- a/Lake/BuildTargets.lean
+++ b/Lake/BuildTargets.lean
@@ -4,7 +4,7 @@ Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Mac Malone
 -/
 import Lake.Compile
-import Lake.BuildTarget
+import Lake.Target
 
 open System
 namespace Lake
diff --git a/Lake/Package.lean b/Lake/Package.lean
index 5e3f26d21b..ebcdb90638 100644
--- a/Lake/Package.lean
+++ b/Lake/Package.lean
@@ -7,7 +7,7 @@ import Lean.Data.Name
 import Lean.Elab.Import
 import Std.Data.HashMap
 import Lake.LeanVersion
-import Lake.BuildTarget
+import Lake.Target
 
 open Lean Std System
 
diff --git a/Lake/BuildTarget.lean b/Lake/Target.lean
similarity index 99%
rename from Lake/BuildTarget.lean
rename to Lake/Target.lean
index b98f36df60..e72895384c 100644
--- a/Lake/BuildTarget.lean
+++ b/Lake/Target.lean
@@ -3,8 +3,8 @@ Copyright (c) 2021 Mac Malone. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Mac Malone
 -/
-import Lake.BuildTask
-import Lake.BuildTrace
+import Lake.Task
+import Lake.Trace
 
 open System
 namespace Lake
diff --git a/Lake/BuildTask.lean b/Lake/Task.lean
similarity index 100%
rename from Lake/BuildTask.lean
rename to Lake/Task.lean
diff --git a/Lake/BuildTrace.lean b/Lake/Trace.lean
similarity index 100%
rename from Lake/BuildTrace.lean
rename to Lake/Trace.lean