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";