From 74bd6652ce8f68b03d5c4a2b212964a311d4c133 Mon Sep 17 00:00:00 2001
From: Orangerot <purple@orangerot.dev>
Date: Wed, 28 Dec 2022 02:33:59 +0100
Subject: [PATCH] FileFormat changed to correct LaTeX file extension

---
 src/net/sourceforge/plantuml/FileFormat.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/net/sourceforge/plantuml/FileFormat.java b/src/net/sourceforge/plantuml/FileFormat.java
index 84167ff51..ff5cfd63c 100644
--- a/src/net/sourceforge/plantuml/FileFormat.java
+++ b/src/net/sourceforge/plantuml/FileFormat.java
@@ -109,8 +109,8 @@ public enum FileFormat {
 		if (this == MJPEG)
 			return ".avi";
 
-		if (this == LATEX_NO_PREAMBLE)
-			return ".latex";
+		if (this == LATEX || this == LATEX_NO_PREAMBLE)
+			return ".tex";
 
 		if (this == ANIMATED_GIF)
 			return ".gif";