#1 ping

Makefile

@@ -24,4 +24,4 @@ test:
 	docker run --rm -v "$$(pwd):/w" $$(docker build -q .)
 
 clean:
-	rm -f *.dvi *.pdf *.fls *.aux *.fdb_latexmk *.log
+	rm -f *.dvi *.pdf *.fls *.aux *.fdb_latexmk *.log