windows ci

rreece · Jan 13, 2024 · a0204de · a0204de
1 parent 8602b8b
commit a0204de
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -233,7 +233,7 @@ install_for_windows:
 	choco install wget ; \
 	if [ ! -f /usr/local/bin/pdflatex ]; then \
 		echo "Installing texlive..." ; \
-		choco install texlive ; \
+		choco install texlive --params="/collections:latexextra" ; \
 	fi ;
 	@echo "which latex: `which latex`" ;
 	@echo "which pdftex: `which pdftex`" ;