Put the . in the extension

Co-authored-by: Markus Scherer <[email protected]>
unicode-org · May 30, 2024 · 0e65436 · 0e65436
1 parent 4ce8972
commit 0e65436
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/unicodetools/src/main/java/org/unicode/text/UCD/TestUnicodeInvariants.java b/unicodetools/src/main/java/org/unicode/text/UCD/TestUnicodeInvariants.java
@@ -153,8 +153,7 @@ public static int testInvariants(String inputFile, boolean doRange) throws IOExc
                                 + (inputFile.equals(DEFAULT_FILE)
                                         ? ""
                                         : "-" + inputFile.split("\\.")[0])
-                                + "."
-                                + (doHtml ? "html" : "txt"))) {
+                                + (doHtml ? ".html" : ".txt"))) {
             final StringWriter writer = new StringWriter();
             try (PrintWriter out3 = new PrintWriter(writer)) {
                 out = out3;