issue fixing, #98

metanorma · Dec 1, 2023 · 108795a · 108795a
1 parent 074eedf
commit 108795a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/main/java/org/metanorma/MetanormaCollectionManifest.java b/src/main/java/org/metanorma/MetanormaCollectionManifest.java
@@ -33,7 +33,7 @@ public MetanormaCollectionManifest(String outputPath, List<Map.Entry<String,Stri
     public void generate() throws IOException {
         // get repository root folder from 1st file
         String repositoryRootFolder = Util.getRepositoryRootFolder(inputOutputFiles.get(0).getValue());
-        if (repositoryRootFolder.isEmpty() && outputPath != null) {
+        if (repositoryRootFolder.isEmpty() && outputPath != null && !outputPath.isEmpty()) {
             String parentOutputPath = new File(outputPath).getParent();
             repositoryRootFolder = parentOutputPath;
         }

diff --git a/src/main/java/org/metanorma/MetanormaCover.java b/src/main/java/org/metanorma/MetanormaCover.java
@@ -25,7 +25,7 @@ public MetanormaCover(String outputPath, List<Map.Entry<String,String>> inputOut
     public void generate() throws IOException {
         // get repository root folder from 1st file
         String repositoryRootFolder = Util.getRepositoryRootFolder(inputOutputFiles.get(0).getValue());
-        if (repositoryRootFolder.isEmpty() && outputPath != null) {
+        if (repositoryRootFolder.isEmpty() && outputPath != null && !outputPath.isEmpty()) {
             String parentOutputPath = new File(outputPath).getParent();
             repositoryRootFolder = parentOutputPath;
         }

diff --git a/src/main/java/org/metanorma/ScriptCollection.java b/src/main/java/org/metanorma/ScriptCollection.java
@@ -26,7 +26,7 @@ public ScriptCollection(String outputPath, List<Map.Entry<String,String>> inputO
     public void generate() throws IOException {
         // get repository root folder from 1st file
         String repositoryRootFolder = Util.getRepositoryRootFolder(inputOutputFiles.get(0).getValue());
-        if (repositoryRootFolder.isEmpty() && outputPath != null) {
+        if (repositoryRootFolder.isEmpty() && outputPath != null && !outputPath.isEmpty()) {
             String parentOutputPath = new File(outputPath).getParent();
             repositoryRootFolder = parentOutputPath;
         }