install now does install-all so as to keep bedrock2 working

mit-plv · Mar 7, 2024 · 2e034d3 · 2e034d3
1 parent 2075621
commit 2e034d3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -70,7 +70,7 @@ install-all:: Makefile.coq.all
 install-spec:: Makefile.coq.spec
 	$(MAKE) -f Makefile.coq.spec install
 
-install:: install-spec
+install:: install-all
 
 # converting from Haskell using hs-to-coq: