Add missing line at end of file

f-PLT · f-PLT · commit b72cd7c01656 · 2025-10-24T14:57:28.000-04:00
diff --git a/Makefile.targets b/Makefile.targets
@@ -35,4 +35,4 @@ deploy-docs: ## Publish and deploy the documentation to the live Github page
 			echo "Skipping publication to Github Pages."; \
 			echo " "; \
 			;; \
-	esac; \
+	esac; \
