diff --git a/Libreplanet2023/Makefile b/Libreplanet2023/Makefile
index e43fb44..e8f007c 100644
--- a/Libreplanet2023/Makefile
+++ b/Libreplanet2023/Makefile
@@ -32,7 +32,7 @@ output/$(TITLE).pdf: \
 	$(TITLE).tex \
 	output
 	pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}'
-	@echo skipping pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}'
+	pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}'
 	du -hs $@
 
 ##############################