From 8d3424df5c7900686e3e6fe5ad3da26342c9001f Mon Sep 17 00:00:00 2001 From: benedict-96 Date: Tue, 5 Dec 2023 15:38:25 +0100 Subject: [PATCH] Corrected name in logo-dark file (was logo_dark instead of logo-dark) --- docs/src/tikz/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/tikz/Makefile b/docs/src/tikz/Makefile index 9b19f06b5..0c271f439 100644 --- a/docs/src/tikz/Makefile +++ b/docs/src/tikz/Makefile @@ -26,7 +26,7 @@ logo: pdftocairo -png -r 500 -transp -singlefile logo_with_name_dark.pdf logo_with_name_dark cp logo_with_name.png ../assets/logo.png - cp logo_with_name_dark.png ../assets/logo_dark.png + cp logo_with_name_dark.png ../assets/logo-dark.png clean: rm -f *.aux