Merge pull request #26 from zickgraf/master

Do not create ~/.julia/dev
homalg-project · Apr 4, 2024 · 49d18e7 · 49d18e7
2 parents 64c72cd + 206e6f6
commit 49d18e7
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