Do not create ~/.julia/dev

It already exists in the docker container since homalg-project/gap-docker-base@12e5859
homalg-project · Apr 4, 2024 · 206e6f6 · 206e6f6
1 parent 64c72cd
commit 206e6f6
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/makefile b/makefile
@@ -61,7 +61,6 @@ test-spacing:
 test-gap_to_julia: doc
 	if [ -d "../FinSetsForCAP" ]; then make -C "../FinSetsForCAP" doc; fi
 	git clone https://github.com/homalg-project/PackageJanitor.git ~/.gap/pkg/PackageJanitor
-	mkdir ~/.julia/dev
 	git clone https://github.com/zickgraf/CAP.jl.git ~/.julia/dev/CAP
 	git clone https://github.com/zickgraf/MonoidalCategories.jl.git ~/.julia/dev/MonoidalCategories
 	git clone https://github.com/zickgraf/CartesianCategories.jl.git ~/.julia/dev/CartesianCategories