Ignore Manifest.toml and delete dev directory

jakewilliami · Nov 5, 2024 · d4c8c74 · d4c8c74
1 parent f248d85
commit d4c8c74
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 5 deletions.
diff --git a/.gitignore b/.gitignore
@@ -21,7 +21,7 @@ docs/site/
 # It records a fixed state of all packages used by the project. As such, it should not be
 # committed for packages, but should be committed for applications that require a static
 # environment.
-Manifest.toml
+/Manifest.toml
 
 # Silly macOS stuff
 .DS_Store

diff --git a/dev/Project.toml b/dev/Project.toml
diff --git a/docs/.gitignore b/docs/.gitignore
@@ -0,0 +1 @@
+/Manifest.toml
diff --git a/justfile b/justfile
@@ -12,7 +12,6 @@ test_dir := project_dir / "test/"
 test_file := test_dir / "runtests.jl"
 docs_dir := project_dir / "docs/"
 docs_mk_file := docs_dir / "make.jl"
-dev_dir := project_dir / "dev/"
 bench_dir := project_dir / "perf/"
 bench_file := bench_dir / "runbenchmarks.jl"
 standard_instantiate_code := """
@@ -47,7 +46,7 @@ bench: (instantiate-dev bench_dir)
 [group: 'ci']
 fmt:
     # https://github.com/invenia/BlueStyle
-    julia --project={{dev_dir}} -e 'using JuliaFormatter; format("{{project_dir}}", style=BlueStyle())'
+    julia --project=@JuliaFormatter -e 'using JuliaFormatter; format("{{project_dir}}", style=BlueStyle())'
 
 # Instantiate main project
 instantiate:

diff --git a/perf/.gitignore b/perf/.gitignore
@@ -0,0 +1 @@
+/Manifest.toml