HTML build: remove --theme argument (#120)

The HTML build will use the default theme instead
anoma · Aug 5, 2024 · 5a4c63a · 5a4c63a
1 parent 0e6f82e
commit 5a4c63a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -9,7 +9,7 @@ check:
 
 PHONY: html
 html:
-	@${JUVIXBIN} --no-stdlib html --theme ayu --output-dir=docs/ index.juvix
+	@${JUVIXBIN} --no-stdlib html --output-dir=docs/ index.juvix
 
 PHONY: clean
 clean: