diff --git a/test/Makefile b/test/Makefile
index b1e44ab..a4b8c18 100644
--- a/test/Makefile
+++ b/test/Makefile
@@ -17,7 +17,7 @@ run: # gen
 
 html: # gen run
 	@echo == Generating HTML ==
-	mkdir -p html/ && cp Agda.css html/
+	mkdir -p html/ && cp Agda.css html/ && cp favicon.ico html/
 	-cabal run -- agda2lambox --html --css=Agda.css $(MAIN).agda
 	./renderTranslations.sh
 	cp html/$(MAIN).html html/index.html
diff --git a/test/favicon.ico b/test/favicon.ico
new file mode 100644
index 0000000..67d5116
Binary files /dev/null and b/test/favicon.ico differ