rename build file build_app.jl

TARGENE · Dec 5, 2023 · 47f9ce7 · 47f9ce7
1 parent 0c4c82d
commit 47f9ce7
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 2 deletions.
diff --git a/deps/build.jl → deps/build_app.jl b/deps/build.jl → deps/build_app.jl
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -41,7 +41,7 @@ WORKDIR /TargetedEstimation.jl
 RUN julia --project -e'using Pkg; Pkg.instantiate(); Pkg.resolve(); Pkg.precompile()'
 
 # Precompile Sysimage project
-RUN julia --project -t auto --startup-file=no deps/build.jl app
+RUN julia --project -t auto --startup-file=no deps/build_app.jl app
 
 ENV PATH="${PATH}:/TargetedEstimation.jl/build/tmle/bin"
 

diff --git a/docs/Project.toml b/docs/Project.toml
@@ -2,5 +2,4 @@
 Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
 
 [compat]
-
 Documenter = "1.2.1"
Original file line number	Diff line number	Diff line change
Expand Up		@@ -2,5 +2,4 @@
		Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"

		[compat]

		Documenter = "1.2.1"